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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirStream
AirStream

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


(documentation AirStream ChineseLanguage "气流 AirStream 是一类由空气组成的流动区域 FlowRegion.") Weather.kif 67-67
(documentation AirStream EnglishLanguage "AirStream is the class of FlowRegions that consist of air.") Weather.kif 65-66
(externalImage AirStream "http://articulatesoftware.com/SUMOpictures/weather/ windy_2.png") pictureList.kif 2096-2096
(subclass AirStream Air) Weather.kif 63-63 AirStream è una sottoclasse di Air
(subclass AirStream FlowRegion) Weather.kif 62-62 AirStream è una sottoclasse di FlowRegion

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


(subclass EyeOfCyclone AirStream) Weather.kif 579-579 EyeOfCyclone è una sottoclasse di AirStream
(subclass JetStream AirStream) Weather.kif 75-75 JetStream è una sottoclasse di AirStream
(subclass WindFlow AirStream) Weather.kif 82-82 WindFlow è una sottoclasse di AirStream
(termFormat ChineseLanguage AirStream "气流") domainEnglishFormat.kif 6276-6276
(termFormat ChineseTraditionalLanguage AirStream "氣流") domainEnglishFormat.kif 6275-6275
(termFormat EnglishLanguage AirStream "air stream") domainEnglishFormat.kif 6274-6274

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


(=>
    (and
        (instance ?AS AirStream)
        (part ?AIR ?AS))
    (attribute ?AR Gas))
Weather.kif 69-73
(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (shape ?AS Cylinder))
Weather.kif 568-573


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