consequent

(=>     (instance ?COMMUNICATE LinguisticCommunication)     (exists (?OBJ)         (and             (represents ?COMMUNICATE ?OBJ)             (instance ?OBJ LinguisticExpression)             (patient ?COMMUNICATE ?OBJ))))	Merge.kif 13306-13312	Processus est une instance de LinguisticCommunication entit� processus d�finie entit� entit� est une instance de expression linguistique entit� est un patient de processus
(=>     (instance ?SIGNING SigningAnAgreement)     (exists (?DOC ?TERMS)         (and             (instance ?DOC LinguisticExpression)             (instance ?TERMS Agreement)             (containsInformation ?DOC ?TERMS)             (patient ?SIGNING ?DOC))))	Geography.kif 4517-4524	Processus est une instance de SigningAnAgreement ContentBearingPhysical proposition ContentBearingPhysical est une instance de expression linguistique proposition est une instance de Agreement ContentBearingPhysical contient information proposition ContentBearingPhysical est un patient de processus
(=>     (instance ?TEXT Text)     (exists (?PART)         (and             (part ?PART ?TEXT)             (instance ?PART LinguisticExpression))))	Merge.kif 15542-15547	Objet est une instance de texte objet objet est une partie de objet objet est une instance de expression linguistique
(=>     (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	originalExpressedInLanguage proposition and langage expression linguistique interval temporel expression linguistique est une instance de expression linguistique expression linguistique repr�sente proposition dans le langage langage equal interval temporel and temps d'existence de expression linguistique interval temporel physique physique est une instance de expression linguistique physique d�finie proposition equal interval temporel and temps d'existence de physique interval temporel se produit avant interval temporel
(=>     (subtitle ?STRING ?WORKTYPE ?LANGUAGE)     (exists (?TITLE)         (and             (instance ?TITLE SymbolicString)             (instance ?TITLE LinguisticExpression)             (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))	Media.kif 3218-3224	subtitle cha�ne sympbolique, ContentBearingPhysical and langage cha�ne sympbolique cha�ne sympbolique est une instance de cha�ne sympbolique cha�ne sympbolique est une instance de expression linguistique titleInLanguage cha�ne sympbolique, ContentBearingPhysical and langage
(=>     (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE)     (instance ?STRING LinguisticExpression))	Media.kif 3101-3103	titleInLanguage cha�ne sympbolique, entit�_TYPE and langage cha�ne sympbolique est une instance de expression linguistique

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