DoubleSize - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DoubleSize

DoubleSize(double size)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25329-25330
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25328-25328	Double size is an instance of size attribute

appearance as argument number 2

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

Mid-level-ontology.kif 25331-25331

antecedent

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

Mid-level-ontology.kif 25333-25346

If an object is an instance of whirlpool tub and double size is an attribute of the object,
then the statement there exists an entity such that there exist another entity and a third entity such that the other entity is an instance of human and the third entity is an instance of human and the other entity is not equal to the third entity and the other entity is located at the object and the third entity is located at the object holds during the entity has the modal force of possibility

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