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. chinese_format.kif 3239-3242
No TPTP formula. May not be expressible in strict first order. Merge.kif 12123-12128
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6305-6305
No TPTP formula. May not be expressible in strict first order. Merge.kif 12121-12121 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 2876-2876 Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order. Merge.kif 12122-12122 Communication is internally related to content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 12120-12120 Communication is a subclass of content bearing process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12119-12119 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 23225-23225 Artifact mediated communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12141-12141 Disseminating is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12193-12193 Expressing is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12176-12176 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 956-956 Indicating is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12211-12211 Linguistic communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2891-2891 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1195-1195
No TPTP formula. May not be expressible in strict first order. english_format.kif 1612-1612

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 605-614
No TPTP formula. May not be expressible in strict first order. Geography.kif 2906-2913
No TPTP formula. May not be expressible in strict first order. Merge.kif 12130-12139

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1312-1323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6610-6617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2878-2880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22608-22614
No TPTP formula. May not be expressible in strict first order. Merge.kif 12374-12385
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4206-4220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23263-23285


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