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 4580-4587
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 4576-4576 域 包含內容實例, 1 and 內容承載物理
No TPTP formula. May not be expressible in strict first order. Merge.kif 4577-4577 域 包含內容實例, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order. Merge.kif 4574-4574 例 包含內容實例 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4575-4575 例 包含內容實例 and PartialOrderingRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4578-4578 相關的內部概念 包含內容實例 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 55823-55823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55822-55822
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 14681-14690
No TPTP formula. May not be expressible in strict first order. Merge.kif 15422-15429
No TPTP formula. May not be expressible in strict first order. Merge.kif 4589-4593
No TPTP formula. May not be expressible in strict first order. Merge.kif 4562-4566

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14681-14690
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 15453-15462
No TPTP formula. May not be expressible in strict first order. Merge.kif 4568-4572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14697-14702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29647-29655
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 29698-29710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14781-14786
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14575-14580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14649-14657
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14551-14556
No TPTP formula. May not be expressible in strict first order. Merge.kif 15612-15617
No TPTP formula. May not be expressible in strict first order. Merge.kif 4645-4652