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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Communication
Communication(communication)
AM, FM, Hadith, Rediffusion, Word_of_God, aah, abandon, abduce, abjure, absolve, absorb, abuse, accent, accentuate, access, accost, acknowledge, acquaint, actualise, actualize, address, adduce, admonish, adulate, adumbrate, advert, affirm, affront, agglutinate, aggrandise, aggrandize, aim, airing, alarmism, alert, alerting, allude, amplitude_modulation, anathemise, anathemize, animadversion, animadvert, announce, annul, annunciate, anomalous_communication, answer, answering, antic, anticipate...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12980-12983
No TPTP formula. May not be expressible in strict first order. Merge.kif 12974-12979
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6305-6305 "http://upload.wikimedia.org/wikipedia/en/8/8c/North-America.png" is a URL depicting communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12972-12972 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3428-3428 Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order. Merge.kif 12973-12973 Communication is internally related to content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 12971-12971 Communication is a subclass of content bearing process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12970-12970 Communication is a subclass of social interaction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25249-25249 Artifact mediated communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12996-12996 Disseminating is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13058-13058 Expressing is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13037-13037 Gesture is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Media.kif 218-218 InPersonCommunication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1402-1402 Indicating is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13079-13079 Linguistic communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3444-3444 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1195-1195 "沟通" is the printable form of communication in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 882-882 "communication" is the printable form of communication in english language

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 458-467
No TPTP formula. May not be expressible in strict first order. Geography.kif 2871-2878
No TPTP formula. May not be expressible in strict first order. Merge.kif 12985-12994

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1294-1305
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7292-7299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3430-3432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24454-24460
No TPTP formula. May not be expressible in strict first order. Merge.kif 13272-13283
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25316-25335
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25287-25307


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners