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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 28795-28795 子類 錒 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27461-27461 子類 鋁 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28901-28901 子類 銤 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28095-28095 子類 銻 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27544-27544 子類 氬 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27792-27792 子類 砷 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28728-28728 子類 砹 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 28189-28189 子類 鋇 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28935-28935 子類 锫 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27301-27301 子類 鈹 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28693-28693 子類 鉍 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27317-27317 子類 硼 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27823-27823 子類 溴 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28047-28047 子類 鎘 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28163-28163 子類 銫 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27575-27575 子類 鈣 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28952-28952 子類 锎 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27336-27336 子類 碳 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28225-28225 子類 鈰 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27527-27527 子類 氯 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27649-27649 子類 鉻 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27695-27695 子類 鈷 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27726-27726 子類 銅 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28918-28918 子類 鋦 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 13794-13794 域子類 原子數, 1 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Cars.kif 1774-1774 域子類 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 12569-12578
No TPTP formula. May not be expressible in strict first order. Merge.kif 12585-12591
No TPTP formula. May not be expressible in strict first order. Merge.kif 12549-12555