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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Communication
Communication(communication)
AM, Communicacao, Comunicazione, 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...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12843-12846
No TPTP formula. May not be expressible in strict first order. Merge.kif 12837-12842
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 12835-12835 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 3424-3424 Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order. Merge.kif 12836-12836 Communication is internally related to content development
No TPTP formula. May not be expressible in strict first order. Merge.kif 12834-12834 Communication is a subclass of content bearing process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12833-12833 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 24808-24808 Artifact mediated communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12859-12859 Disseminating is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12921-12921 Expressing is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 12900-12900 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 12942-12942 Linguistic communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3440-3440 Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order. Facebook.kif 265-265 Wall post 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 873-873 "communication" is the printable form of communication in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 406-406 "sanchaarana" is the printable form of communication in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 407-407 "Comunicazione" is the printable form of communication in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 825-825 "Communicacao" is the printable form of communication in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 411-411 "komunikasyon" is the printable form of communication in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 445-445 "communication" is the printable form of communication in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 410-410 "pagbibigay-alam" is the printable form of communication in tg

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 493-502
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. TravelPolicies.kif 102-107
No TPTP formula. May not be expressible in strict first order. Merge.kif 12848-12857

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 7288-7295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3426-3428
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24013-24019
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 607-613
No TPTP formula. May not be expressible in strict first order. Merge.kif 13135-13146
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24875-24894
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24846-24866


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