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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EF1
EF1(改良藤田1)

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 改良藤田1改良藤田级数instance
(speedScaleAttributeMinMax EF1
    (MeasureFn 86.0 MilesPerHour)
    (MeasureFn 110.0 MilesPerHour))
Weather.kif 2159-2159 改良藤田1 的最低和最高是 86.0 英里每小時 和 110.0 英里每小時
(successorAttribute EF1 EF2) Weather.kif 2158-2158 改良藤田1改良藤田2 的直接后续属性

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


(successorAttribute EF0 EF1) Weather.kif 2150-2150 改良藤田0改良藤田1 的直接后续属性
(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