Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TellingALie
TellingALie(telling a lie)
distort, falsify, garble, lie, mangle, murder, mutilate, warp

appearance as argument number 1
-------------------------


(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 914-914 Telling a lie is a subclass of linguistic communication
(documentation TellingALie EnglishLanguage "Any LinguisticCommunication which is both False and believed to be False by the agent of the LinguisticCommunication.") Mid-level-ontology.kif 915-916 Telling a lie is a subclass of linguistic communication
(externalImage TellingALie "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Polygraph1.jpg") pictureList.kif 10284-10284 Telling a lie is a subclass of linguistic communication
(externalImage TellingALie "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Polygram1.png") pictureList.kif 11966-11966 Telling a lie is a subclass of linguistic communication

appearance as argument number 2
-------------------------


(subclass Defrauding TellingALie) Mid-level-ontology.kif 20235-20235 Defrauding is a subclass of telling a lie
(disjoint Misdiagnosis TellingALie) Medicine.kif 4185-4185 Misdiagnosis is disjoint from telling a lie
(termFormat EnglishLanguage TellingALie "telling a lie") domainEnglishFormat.kif 57371-57371 Misdiagnosis is disjoint from telling a lie
(termFormat ChineseTraditionalLanguage TellingALie "說謊") domainEnglishFormat.kif 57372-57372 Misdiagnosis is disjoint from telling a lie
(termFormat ChineseLanguage TellingALie "说谎") domainEnglishFormat.kif 57373-57373 Misdiagnosis is disjoint from telling a lie

antecedent
-------------------------


(=>
    (and
        (instance ?STATE TellingALie)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?STATEMENT))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT
            (truth ?STATEMENT False))))		 Mid-level-ontology.kif 918-925 If X is an instance of telling a lie, Y is an agent of X, and Z is a patient of X, then Y believes Z is false holds during the time of existence of X


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