Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeaufortNumber
BeaufortNumber(beaufort number)

appearance as argument number 1
-------------------------


(documentation BeaufortNumber EnglishLanguage "BeaufortNumber is the Attribute for indicating wind force, according to classifications based on observable weather conditions and later related to wind speed ranges.") Weather.kif 307-310
(subclass BeaufortNumber RelationalAttribute) Weather.kif 306-306 Beaufort number is a subclass of relational attribute

appearance as argument number 2
-------------------------


(instance BeaufortNumberEight BeaufortNumber) Weather.kif 333-333 Beaufort number eight is an instance of beaufort number
(instance BeaufortNumberEleven BeaufortNumber) Weather.kif 339-339 Beaufort number eleven is an instance of beaufort number
(instance BeaufortNumberFive BeaufortNumber) Weather.kif 327-327 Beaufort number five is an instance of beaufort number
(instance BeaufortNumberFour BeaufortNumber) Weather.kif 325-325 Beaufort number four is an instance of beaufort number
(instance BeaufortNumberNine BeaufortNumber) Weather.kif 335-335 Beaufort number nine is an instance of beaufort number
(instance BeaufortNumberOne BeaufortNumber) Weather.kif 319-319 Beaufort number one is an instance of beaufort number
(instance BeaufortNumberSeven BeaufortNumber) Weather.kif 331-331 Beaufort number seven is an instance of beaufort number
(instance BeaufortNumberSix BeaufortNumber) Weather.kif 329-329 Beaufort number six is an instance of beaufort number
(instance BeaufortNumberTen BeaufortNumber) Weather.kif 337-337 Beaufort number ten is an instance of beaufort number
(instance BeaufortNumberThree BeaufortNumber) Weather.kif 323-323 Beaufort number three is an instance of beaufort number
(instance BeaufortNumberTwelve BeaufortNumber) Weather.kif 341-341 Beaufort number twelve is an instance of beaufort number
(instance BeaufortNumberTwo BeaufortNumber) Weather.kif 321-321 Beaufort number two is an instance of beaufort number
(instance BeaufortNumberZero BeaufortNumber) Weather.kif 318-318 BeaufortNumberZero is an instance of beaufort number
(termFormat ChineseLanguage BeaufortNumber "博福特号码") domainEnglishFormat.kif 10309-10309
(termFormat ChineseTraditionalLanguage BeaufortNumber "博福特號碼") domainEnglishFormat.kif 10308-10308
(termFormat EnglishLanguage BeaufortNumber "beaufort number") domainEnglishFormat.kif 10307-10307

antecedent
-------------------------


(=>
    (and
        (instance ?BN BeaufortNumber)
        (attribute ?OBJECT ?BN))
    (instance ?OBJECT Wind))
Weather.kif 312-316


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners