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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subsumesContentClass

 Sigma KEE - subsumesContentClass
subsumesContentClass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2181-2187
No TPTP formula. May not be expressible in strict first order. Merge.kif 4522-4533
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 842-849
No TPTP formula. May not be expressible in strict first order. Merge.kif 4519-4519 域子類 包含內容類, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order. Merge.kif 4520-4520 域子類 包含內容類, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order. Merge.kif 4517-4517 例 包含內容類 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4518-4518 例 包含內容類 and PartialOrderingRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 239-239
No TPTP formula. May not be expressible in strict first order. english_format.kif 240-240
No TPTP formula. May not be expressible in strict first order. french_format.kif 137-137
No TPTP formula. May not be expressible in strict first order. relations-it.txt 282-282
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1968-1968
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 89-89
No TPTP formula. May not be expressible in strict first order. relations-de.txt 308-308
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 319-319
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 156-156
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 142-142
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 474-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 4578-4578 相關的內部概念 包含內容實例 and 包含內容類
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 240-240
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55817-55817
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55816-55816
No TPTP formula. May not be expressible in strict first order. terms-de.txt 99-99

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4505-4509
No TPTP formula. May not be expressible in strict first order. Merge.kif 4535-4545

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15534-15536
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14669-14671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14640-14642
No TPTP formula. May not be expressible in strict first order. Merge.kif 4511-4515

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7865-7865 包含內容類 基督教聖經 and 新約
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7866-7866 包含內容類 基督教聖經 and 舊約
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7880-7880 包含內容類 新約 and 基督教福音書


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