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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Communication
Communication(communication)

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 13084-13089
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 13082-13082 Communication est compl�tement d�compos� en d�clarer, Supposing, diriger, investir, exprimer, + d�clarer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2937-2937 Communication est reli� � l'int�rieur de SUMO � CommunicationDevice
No TPTP formula. May not be expressible in strict first order. Merge.kif 13083-13083 Communication est reli� � l'int�rieur de SUMO � d�veloppement de contenu
No TPTP formula. May not be expressible in strict first order. Merge.kif 13081-13081 Communication est une sous-classe de ContentBearingProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 13080-13080 Communication est une sous-classe de interaction social

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27042-27042 ArtifactMediatedCommunication est une sous-classe de communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13102-13102 Disseminer est une sous-classe de communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13154-13154 Exprimer est une sous-classe de communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13137-13137 Gesture est une sous-classe de communication
No TPTP formula. May not be expressible in strict first order. Media.kif 218-218 InPersonCommunication est une sous-classe de communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1009-1009 Indicating est une sous-classe de communication
No TPTP formula. May not be expressible in strict first order. Merge.kif 13172-13172 LinguisticCommunication est une sous-classe de communication
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2952-2952 Telephoning est une sous-classe de 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 13091-13100

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 25150-25171
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 7612-7619
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2939-2941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26432-26438
No TPTP formula. May not be expressible in strict first order. Merge.kif 13335-13346
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 27080-27102


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