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 4492-4499
No TPTP formula. May not be expressible in strict first order. Merge.kif 4488-4488 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 4489-4489 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 4486-4486 subsumes content instance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4487-4487 subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4490-4490 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 242-242
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 55802-55802
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55801-55801

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14201-14210
No TPTP formula. May not be expressible in strict first order. Merge.kif 15146-15153
No TPTP formula. May not be expressible in strict first order. Merge.kif 4501-4505
No TPTP formula. May not be expressible in strict first order. Merge.kif 4474-4478

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 14201-14210
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 15177-15186
No TPTP formula. May not be expressible in strict first order. Merge.kif 4480-4484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14217-14222
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29163-29171
No TPTP formula. May not be expressible in strict first order. Media.kif 1520-1526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29214-29226
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14301-14306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14095-14100
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14169-14177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14071-14076
No TPTP formula. May not be expressible in strict first order. Merge.kif 15336-15341
No TPTP formula. May not be expressible in strict first order. Merge.kif 4557-4564