Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AirStream
AirStream(air stream)

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


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

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


(subclass JetStream AirStream) Weather.kif 75-75 Jet stream is a subclass of air stream
(subclass WindFlow AirStream) Weather.kif 82-82 Wind flow is a subclass of air stream
(subclass EyeOfCyclone AirStream) Weather.kif 1008-1008 Eye of cyclone is a subclass of air stream
(subclass AirMass AirStream) Weather.kif 1261-1261 Air mass is a subclass of air stream
(termFormat EnglishLanguage AirStream "air stream") domainEnglishFormat.kif 6275-6275 Air mass is a subclass of air stream
(termFormat ChineseTraditionalLanguage AirStream "氣流") domainEnglishFormat.kif 6276-6276 Air mass is a subclass of air stream
(termFormat ChineseLanguage AirStream "气流") domainEnglishFormat.kif 6277-6277 Air mass is a subclass of air stream

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


(=>
    (and
        (instance ?AS AirStream)
        (part ?AIR ?AS))
    (attribute ?AIR Gas))		 Weather.kif 69-73 If X is an instance of air stream and Y is a part of X, then gas is an attribute of Y
(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (shape ?AS Cylinder))		 Weather.kif 997-1002 If X is an instance of cyclonic storm, Y is an instance of air stream, and X is located at Y, then Y is cylinder
(=>
    (and
        (instance ?W WeatherFront)
        (instance ?F AirStream)
        (eventLocated ?W ?F)
        (connects ?F ?A ?B)
        (instance ?A AirMass)
        (instance ?B AirMass))
    (not
        (equal ?A ?B)))		 Weather.kif 1246-1255 If All of the following hold: (1) X is an instance of weather front (2) Y is an instance of air stream (3) X is located at Y (4) Y connects Z and W (5) Z is an instance of air mass (6) W is an instance of air mass, then equal Z and W
(=>
    (and
        (instance ?SF StationaryFront)
        (eventLocated ?SF ?F)
        (instance ?F AirStream))
    (holdsDuring
        (WhenFn ?SF)
        (not
            (exists (?T)
                (and
                    (subProcess ?T ?SF)
                    (instance ?T Translocation)
                    (moves ?T ?F))))))		 Weather.kif 1362-1374 If X is an instance of stationary front, X is located at Y, and Y is an instance of air stream, then there doesn't exist Z such that Z is a subprocess of X, Z is an instance of translocation, and Y moves during Z holds during the time of existence of X

consequent
-------------------------


(=>
    (instance ?S Waterspout)
    (exists (?A ?R ?C ?F ?W)
        (and
            (instance ?A AirStream)
            (instance ?R Rotating)
            (patient ?R ?A)
            (origin ?R ?C)
            (instance ?C WaterCloud)
            (part ?F ?C)
            (shape ?F Cone)
            (eventLocated ?R ?W)
            (instance ?W BodyOfWater)
            (connects ?F ?W ?C))))		 Weather.kif 1476-1489 If X is an instance of waterspout, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of air stream (3) Z is an instance of rotating (4) Y is a patient of Z (5) Z originates at W (6) W is an instance of water cloud (7) V is a part of W (8) V is cone (9) Z is located at U (10) U is an instance of body of water (11) V connects U (12) W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners