consequent

(=>     (instance ?COMMUNICATE LinguisticCommunication)     (exists (?OBJ)         (and             (represents ?COMMUNICATE ?OBJ)             (instance ?OBJ LinguisticExpression)             (patient ?COMMUNICATE ?OBJ))))	Merge.kif 13306-13312	If a process is an instance of linguistic communication, then there exists an entity such that the process expresses the entity and the entity is an instance of linguistic expression and the entity is a patient of the process
(=>     (instance ?SIGNING SigningAnAgreement)     (exists (?DOC ?TERMS)         (and             (instance ?DOC LinguisticExpression)             (instance ?TERMS Agreement)             (containsInformation ?DOC ?TERMS)             (patient ?SIGNING ?DOC))))	Geography.kif 4517-4524	If a process is an instance of signing an agreement, then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of linguistic expression and the proposition is an instance of agreement and the content bearing physical contains information the proposition and the content bearing physical is a patient of the process
(=>     (instance ?TEXT Text)     (exists (?PART)         (and             (part ?PART ?TEXT)             (instance ?PART LinguisticExpression))))	Merge.kif 15542-15547	If an object is an instance of text, then there exists another object such that the other object is a part of the object and the other object is an instance of linguistic expression
(=>     (originalExpressedInLanguage ?PROP ?LANG)     (exists (?PHYS ?TIME)         (and             (instance ?PHYS LinguisticExpression)             (representsInLanguage ?PHYS ?PROP ?LANG)             (equal ?TIME                 (WhenFn ?PHYS))             (not                 (exists (?BEFORE ?OTHER)                     (and                         (instance ?OTHER LinguisticExpression)                         (represents ?OTHER ?PROP)                         (equal ?BEFORE                             (WhenFn ?OTHER))                         (before ?BEFORE ?TIME)))))))	Music.kif 1459-1472	If a proposition was first expressed as a language, then there exist a linguistic expression and a time interval such that the linguistic expression is an instance of linguistic expression and the linguistic expression represents the proposition in the language the language and equal the time interval and the time of existence of the linguistic expression and there don't exist another time interval and a physical such that the physical is an instance of linguistic expression and the physical expresses the proposition and equal the other time interval and the time of existence of the physical and the other time interval happens before the time interval
(=>     (subtitle ?STRING ?WORKTYPE ?LANGUAGE)     (exists (?TITLE)         (and             (instance ?TITLE SymbolicString)             (instance ?TITLE LinguisticExpression)             (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))	Media.kif 3218-3224	If a symbolic string is a sub-title for a kind of content bearing physical in a language, then there exists another symbolic string such that the other symbolic string is an instance of symbolic string and the other symbolic string is an instance of linguistic expression and the title of a kind of content bearing physical in the language is the other symbolic string
(=>     (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE)     (instance ?STRING LinguisticExpression))	Media.kif 3101-3103	If the title of an entity_TYPE in a language is a symbolic string, then the symbolic string is an instance of linguistic expression

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners