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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CrystallineStructure

Sigma KEE - CrystallineStructure
CrystallineStructure

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7121-7122
No TPTP formula. May not be expressible in strict first order. Geography.kif 7118-7119
No TPTP formula. May not be expressible in strict first order. Geography.kif 7128-7128 子類 CrystallineStructure and StructureAttribute

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7130-7130 子類 MonoCrystalline and CrystallineStructure
No TPTP formula. May not be expressible in strict first order. Geography.kif 7136-7136 子類 PolyCrystalline and CrystallineStructure
No TPTP formula. May not be expressible in strict first order. Geography.kif 7126-7126
No TPTP formula. May not be expressible in strict first order. Geography.kif 7124-7124


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners