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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of subsuming external concept is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 658-658 The number 2 argument of subsuming external concept is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 659-659 The number 3 argument of subsuming external concept is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 650-650 subsuming external concept is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 649-649 subsuming external concept is a subrelation of related external concept

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 643-643 subsumed external concept and subsuming external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 642-642 synonymous external concept and subsuming external concept are 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 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