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, adulate, adumbrate, advert, affirm, agglutinate, aggrandise, aggrandize, aim, airing, alarmism, alert, alerting, allude, amplitude_modulation, anathemise, anathemize, animadversion, animadvert, announce, annul, annunciate, anomalous_communication, answer, answering, antic, anticipate, ape, aphorise...

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 13192-13197
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6303-6303
No TPTP formula. May not be expressible in strict first order. Merge.kif 13190-13190 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 3407-3407 Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order. Merge.kif 13191-13191 Communication is internally related to content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 13189-13189 Communication is a subclass of content bearing process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13188-13188 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 28908-28908 Artifact mediated communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13210-13210 Disseminating is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13262-13262 Expressing is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13245-13245 Gesture is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Media.kif 218-218 In person communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1009-1009 Indicating is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13280-13280 Linguistic communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3422-3422 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1195-1195 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. english_format.kif 1607-1607 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. french_format.kif 873-873 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 406-406 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. terms-it.txt 409-409 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2557-2557 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 825-825 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 411-411 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 445-445 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. terms-de.txt 704-704 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 894-894 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 410-410 Telephoning is a subclass of communication

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 577-586
No TPTP formula. May not be expressible in strict first order. Geography.kif 3183-3190
No TPTP formula. May not be expressible in strict first order. Merge.kif 13199-13208

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1358-1369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26755-26776
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6445-6449
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8752-8759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3409-3411
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28298-28304
No TPTP formula. May not be expressible in strict first order. Merge.kif 13443-13454
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4230-4244
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28946-28968


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