RotationalAttribute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RotationalAttribute

RotationalAttribute(rotational attribute)

appearance as argument number 1

(documentation RotationalAttribute EnglishLanguage "A PositionalAttribute characterizing the direction of Rotating.")	Cars.kif 5006-5006
(subclass RotationalAttribute PositionalAttribute)	Cars.kif 5005-5005	Rotational attribute is a subclass of positional attribute

appearance as argument number 2

(instance Clockwise RotationalAttribute)	Cars.kif 5011-5011	Clockwise is an instance of rotational attribute
(instance CounterClockwise RotationalAttribute)	Cars.kif 5016-5016	Counter_clockwise is an instance of rotational attribute
(termFormat EnglishLanguage RotationalAttribute "rotational attribute")	domainEnglishFormat.kif 65447-65447	Counter_clockwise is an instance of rotational attribute

antecedent

(=> (and (instance ?R Ratchet) (instance ?A AttachingDevice) (instance ?RO1 Rotating) (attribute ?RO1 ?DIR1) (instance ?RO2 Rotating) (attribute ?RO2 ?DIR2) (instance ?DIR1 RotationalAttribute) (instance ?DIR2 RotationalAttribute) (not (equal ?RO1 ?RO2)) (causes ?RO1 ?RO2) (patient ?RO1 Ratchet) (patient ?RO2 ?A)) (equal ?DIR1 ?DIR2))	Cars.kif 4988-5003	If an entity is an instance of ratchet and another entity is an instance of attaching device and the entityO1 is an instance of rotating and an attribute is an attribute of the entityO1 and the entityO2 is an instance of rotating and another attribute is an attribute of the entityO2 and the attribute is an instance of rotational attribute and the other attribute is an instance of rotational attribute and the entityO1 is not equal to the entityO2 and the entityO1 causes the entityO2 and ratchet is a patient of the entityO1 and the other entity is a patient of the entityO2, then the attribute is equal to the other attribute
(=> (manner ?PROC RotationalAttribute) (instance ?PROC Rotating))	Cars.kif 5007-5009	If a process is performed in the manner rotational attribute, then the process is an instance of rotating

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