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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subsumesContentInstance

Sigma KEE - subsumesContentInstance
subsumesContentInstance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2193-2197
No TPTP formula. May not be expressible in strict first order. Merge.kif 4581-4588
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 856-861
No TPTP formula. May not be expressible in strict first order. Merge.kif 4577-4577 包含內容實例, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order. Merge.kif 4578-4578 包含內容實例, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order. Merge.kif 4575-4575 包含內容實例 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4576-4576 包含內容實例 and PartialOrderingRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4579-4579 相關的內部概念 包含內容實例 and 包含內容類

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 241-241
No TPTP formula. May not be expressible in strict first order. english_format.kif 242-242
No TPTP formula. May not be expressible in strict first order. french_format.kif 138-138
No TPTP formula. May not be expressible in strict first order. relations-it.txt 283-283
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1969-1969
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 90-90
No TPTP formula. May not be expressible in strict first order. relations-de.txt 311-311
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 320-320
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 157-157
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 143-143
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 475-475
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 242-242
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55825-55825
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55824-55824
No TPTP formula. May not be expressible in strict first order. terms-de.txt 100-100

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14709-14718
No TPTP formula. May not be expressible in strict first order. Merge.kif 15446-15453
No TPTP formula. May not be expressible in strict first order. Merge.kif 4590-4594
No TPTP formula. May not be expressible in strict first order. Merge.kif 4563-4567

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14709-14718
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1097-1104
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1157-1166
No TPTP formula. May not be expressible in strict first order. Merge.kif 15477-15486
No TPTP formula. May not be expressible in strict first order. Merge.kif 4569-4573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14725-14730
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29710-29718
No TPTP formula. May not be expressible in strict first order. Media.kif 1534-1540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29761-29773
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14809-14814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14603-14608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14677-14685
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14579-14584
No TPTP formula. May not be expressible in strict first order. Merge.kif 15636-15641
No TPTP formula. May not be expressible in strict first order. Merge.kif 4646-4653

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2367-2367 包含內容實例 移民和國籍行為 and 移民和國籍法- section219-US


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