grainSize - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - grainSize

grainSize

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1077-1078
No TPTP formula. May not be expressible in strict first order.	Food.kif 1080-1080	The number 1 argument of grain size is an instance of object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1081-1081	The number 2 argument of grain size is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 1076-1076	grain size is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1082-1082
No TPTP formula. May not be expressible in strict first order.	Food.kif 1079-1079

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1108-1113	If an object is an instance of coffee grind and coarse grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1096-1101	If an object is an instance of coffee grind and extra coarse grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 1.5
No TPTP formula. May not be expressible in strict first order.	Food.kif 1168-1173	If an object is an instance of coffee grind and extra fine grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.1
No TPTP formula. May not be expressible in strict first order.	Food.kif 1156-1161	If an object is an instance of coffee grind and fine grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.3
No TPTP formula. May not be expressible in strict first order.	Food.kif 1120-1125	If an object is an instance of coffee grind and medium coarse grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.85
No TPTP formula. May not be expressible in strict first order.	Food.kif 1144-1149	If an object is an instance of coffee grind and medium fine grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.5
No TPTP formula. May not be expressible in strict first order.	Food.kif 1132-1137	If an object is an instance of coffee grind and medium grind is an attribute of the object and a real number is the diameter in UnitOFLength of the object, then the real number is equal to 0.75
No TPTP formula. May not be expressible in strict first order.	Food.kif 1084-1089	If a self connected object is an instance of grain and a real number is the diameter in UnitOFLength of the self connected object, then the approximate diameter of the self connected object is the real number unit of length(s)

consequent

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

Food.kif 1064-1074

If an attribute is an instance of coffee grind attribute and the attribute is an attribute of an object and the object is an instance of coffee grind,
then there exist a real number and a physical quantity such that the real number is the diameter in UnitOFLength of the object and the physical quantity is an instance of length measure and the physical quantity is equal to the real number millimeter(s)

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

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