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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subsumingExternalConcept

 Sigma KEE - subsumingExternalConcept
subsumingExternalConcept

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1527-1529
No TPTP formula. May not be expressible in strict first order. Merge.kif 652-655
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 92-94
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 107-110
No TPTP formula. May not be expressible in strict first order. Merge.kif 657-657 包含外部的概念 的 1 数量 是 符号串 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 658-658 包含外部的概念 的 2 数量 是 实体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 659-659 包含外部的概念 的 3 数量 是 语言 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 650-650 包含外部的概念 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 649-649 包含外部的概念 是 外部相关的概念 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 643-643 纳入外部的概念 和 包含外部的概念 是 disjoint 关系
No TPTP formula. May not be expressible in strict first order. Merge.kif 642-642 和外部意义相同的概念 和 包含外部的概念 是 disjoint 关系
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 335-336
No TPTP formula. May not be expressible in strict first order. english_format.kif 340-340
No TPTP formula. May not be expressible in strict first order. french_format.kif 190-190
No TPTP formula. May not be expressible in strict first order. relations-it.txt 284-284
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2010-2010
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 142-142
No TPTP formula. May not be expressible in strict first order. relations-de.txt 442-442
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 321-321
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 210-210
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 201-201
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 476-476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55830-55830
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 337-337
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55829-55829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55828-55828


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