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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElementalSubstance

Sigma KEE - ElementalSubstance
ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1599-1602
No TPTP formula. May not be expressible in strict first order. Merge.kif 1095-1099
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 178-181
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 211-215
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1746-1746
No TPTP formula. May not be expressible in strict first order. Merge.kif 1093-1093 子類 ElementalSubstance and PureSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28807-28807 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27473-27473 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28913-28913 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28107-28107 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27556-27556 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27804-27804 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28740-28740 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1108-1108 子類 Atom and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28201-28201 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28947-28947 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27313-27313 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28705-28705 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27329-27329 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27835-27835 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28059-28059 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28175-28175 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27587-27587 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28964-28964 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27348-27348 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28237-28237 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27539-27539 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27661-27661 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27707-27707 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27738-27738 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28930-28930 子類 and ElementalSubstance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13772-13772 域子類 原子數, 1 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1768-1768 域子類 molecularRatio, 1 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1085-1085 劃分 PureSubstance, CompoundSubstance and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12547-12556
No TPTP formula. May not be expressible in strict first order. Merge.kif 12563-12569
No TPTP formula. May not be expressible in strict first order. Merge.kif 12527-12533