BeaufortNumberAttribute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BeaufortNumberAttribute

BeaufortNumberAttribute(Beaufort number attribute)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 340-341
No TPTP formula. May not be expressible in strict first order.	Weather.kif 336-339
No TPTP formula. May not be expressible in strict first order.	Weather.kif 335-335	Beaufort number attribute is a subclass of speed scale attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 372-372	Beaufort number 0 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 381-381	Beaufort number 1 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 463-463	Beaufort number 10 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 472-472	Beaufort number 11 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 482-482	Beaufort number 12 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 390-390	Beaufort number 2 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 400-400	Beaufort number 3 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 409-409	Beaufort number 4 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 418-418	Beaufort number 5 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 427-427	Beaufort number 6 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 436-436	Beaufort number 7 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 445-445	Beaufort number 8 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 454-454	Beaufort number 9 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10303-10303
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10302-10302

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 343-347	If an attribute is an instance of Beaufort number attribute and an entity the attribute the attribute, then the entity is an instance of wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the object

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