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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinguisticCommunication

 Sigma KEE - LinguisticCommunication
LinguisticCommunication(语言交流)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3256-3257
No TPTP formula. May not be expressible in strict first order. Merge.kif 13149-13150
No TPTP formula. May not be expressible in strict first order. Merge.kif 13148-13148 语言交流 是 沟通 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13243-13243 承诺 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 829-829 相应 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19702-19702 辩论 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13263-13263 声明 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13199-13199 指令g 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29643-29643 Elaborating 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13133-13133 用语言表达 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19709-19709 谈判 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29657-29657 Restating 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 826-826 说话 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13160-13160 陈述 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13194-13194 假如 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 918-918 说谎 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 780-780 书面沟通 是 语言交流 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34547-34547
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34546-34546
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34545-34545

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 757-776
No TPTP formula. May not be expressible in strict first order. Media.kif 1836-1842
No TPTP formula. May not be expressible in strict first order. Merge.kif 13152-13158

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1844-1851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29647-29655
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29698-29710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29664-29672


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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