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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EF1
EF1

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


(documentation EF1 ChineseLanguage "EFScale(改良藤田级数)EF1 的龙卷风估计三秒阵风风速在 86 到 110mph (138 到 177km/ h)之间。") Weather.kif 2155-2156
(documentation EF1 EnglishLanguage "The estimated ThreeSecondGustSpeedFn for a Tornado of EFScaleAttribute EF1 ranges between 86 and 110mph (138 and 177km/ h).") Weather.kif 2153-2154
(instance EF1 EFScaleAttribute) Weather.kif 2157-2157
(speedScaleAttributeMinMax EF1
    (MeasureFn 86.0 MilesPerHour)
    (MeasureFn 110.0 MilesPerHour))
Weather.kif 2159-2159
(successorAttribute EF1 EF2) Weather.kif 2158-2158

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


(successorAttribute EF0 EF1) Weather.kif 2150-2150
(termFormat ChineseLanguage EF1 "改良藤田1") domainEnglishFormat.kif 10358-10358
(termFormat EnglishLanguage EF1 "EF1") domainEnglishFormat.kif 10357-10357


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