represents in language (representsInLanguage)
A very general predicate.
(representsInLanguage thing entity language) means that the
instance of Physical thing stands for entity in the language
SUMO / BASE-ONTOLOGY
has purpose for agent
related external concept
represents for agent
temporally between or equal
representsInLanguage(physical, entity, language)
If rep represents entity in the language language, then there exists agent so that agent uses rep to stand for entity.
(representsInLanguage ?REP ?ENTITY ?LANGUAGE)
(representsForAgent ?REP ?ENTITY ?AGENT)))
express is expressed in language language if and only if there exists prop so that express represents prop in the language language.
(expressedInLanguage ?EXPRESS ?LANGUAGE)
(representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))