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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4262-4269
No TPTP formula. May not be expressible in strict first order. Merge.kif 4258-4258 The number 1 argument of subsumes content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4259-4259 The number 2 argument of subsumes content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4256-4256 subsumes content instance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4257-4257 subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4260-4260 subsumes content instance is internally related to subsumes content class

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 245-245
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 242-242 "包含内容实例" is the printable form of subsumes content instance in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55764-55764 "包含內容實例" is the printable form of subsumes content instance in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55763-55763 "subsumes content instance" is the printable form of subsumes content instance in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4250-4254 A content bearing physical subsumes the content of another content bearing physical and the other content bearing physical subsumes the content of the content bearing physical if and only if the content bearing physical is equivalent to the other content bearing physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12425-12434
No TPTP formula. May not be expressible in strict first order. Merge.kif 14128-14135
No TPTP formula. May not be expressible in strict first order. Merge.kif 4271-4276

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1026-1030
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1032-1036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12425-12434
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1086-1093
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1146-1155
No TPTP formula. May not be expressible in strict first order. Merge.kif 14159-14168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12441-12446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27824-27832
No TPTP formula. May not be expressible in strict first order. Media.kif 1524-1530
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27881-27893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12525-12530
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12321-12326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12393-12401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12297-12302
No TPTP formula. May not be expressible in strict first order. Merge.kif 14318-14323
No TPTP formula. May not be expressible in strict first order. Merge.kif 4324-4331

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2344-2344 Immigration and nationality act-US subsumes the content of immigration and nationality act- section219-US


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners