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 4407-4414
No TPTP formula. May not be expressible in strict first order. Merge.kif 4403-4403 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 4404-4404 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 4401-4401 subsumes content instance is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4402-4402 subsumes content instance is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4405-4405 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55801-55801
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55800-55800

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4395-4399 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 11461-11470
No TPTP formula. May not be expressible in strict first order. Merge.kif 14281-14288
No TPTP formula. May not be expressible in strict first order. Merge.kif 4416-4421

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 11461-11470
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 14312-14321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11477-11482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25893-25901
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 25944-25956
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11561-11566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11357-11362
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11429-11437
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11333-11338
No TPTP formula. May not be expressible in strict first order. Merge.kif 14471-14476
No TPTP formula. May not be expressible in strict first order. Merge.kif 4469-4476