TreeView Knowledge Base Browser - Crystal

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Crystal

Crystal(crystal)

crystal, crystalised, crystalline, crystallized, microcrystalline, twins

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7107-7108
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7104-7105
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7110-7110	Crystal is a subclass of substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3011-3011	Snowflake is a subclass of crystal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7114-7114
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7112-7112

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 7142-7162

If an object is an instance of crystal and mono crystalline is an attribute of the object and a self connected object is an instance of substance and solid is an attribute of the self connected object and poly crystalline is an attribute of the self connected object and another self connected object is an instance of substance and the other self connected object is a surface of the self connected object and the object is not a part of the other self connected object,
then there exist the objectLNT, an integer and another object such that the objectLNT is an instance of collection and the integer is a member count of the objectLNT and the integer is greater than or equal to 4 and
- if the other object is a member of the objectLNT,
- then the other object is a part of the self connected object and the object meets the other object

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