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 13038-13043
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6304-6304
No TPTP formula. May not be expressible in strict first order. Merge.kif 13036-13036 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 2944-2944 Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order. Merge.kif 13037-13037 Communication is internally related to content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 13035-13035 Communication is a subclass of content bearing process
No TPTP formula. May not be expressible in strict first order. Merge.kif 13034-13034 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 27009-27009 Artifact mediated communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13056-13056 Disseminating is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13108-13108 Expressing is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13091-13091 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 1016-1016 Indicating is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13126-13126 Linguistic communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2959-2959 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 1607-1607
No TPTP formula. May not be expressible in strict first order. french_format.kif 873-873
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 406-406
No TPTP formula. May not be expressible in strict first order. terms-it.txt 409-409
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2557-2557
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 825-825
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 411-411
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 445-445
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 894-894
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 410-410

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 3025-3032
No TPTP formula. May not be expressible in strict first order. Merge.kif 13045-13054

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1347-1358
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25093-25114
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6427-6431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7585-7592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2946-2948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26399-26405
No TPTP formula. May not be expressible in strict first order. Merge.kif 13289-13300
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4235-4249
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27047-27069


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