AirStream - Sigma Knowledge base Browser

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 2095-2095
(subclass AirStream Air)	Weather.kif 63-63	Air stream is a subclass of air
(subclass AirStream FlowRegion)	Weather.kif 62-62	Air stream is a subclass of flow region

appearance as argument number 2

(subclass AirMass AirStream)	Weather.kif 819-819	Air mass is a subclass of air stream
(subclass EyeOfCyclone AirStream)	Weather.kif 567-567	Eye of cyclone is a subclass of air stream
(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
(termFormat ChineseLanguage AirStream "气流")	domainEnglishFormat.kif 6283-6283	Wind flow is a subclass of air stream
(termFormat ChineseTraditionalLanguage AirStream "氣流")	domainEnglishFormat.kif 6282-6282	Wind flow is a subclass of air stream
(termFormat EnglishLanguage AirStream "air stream")	domainEnglishFormat.kif 6281-6281	Wind flow is a subclass of air stream

antecedent

(=> (and (instance ?AS AirStream) (part ?AIR ?AS)) (attribute ?AIR Gas))	Weather.kif 69-73	If an object is an instance of air stream and another object is a part of the object, then gas is an attribute of the other object
(=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder))	Weather.kif 556-561	If a process is an instance of cyclonic storm and an object is an instance of air stream and the process is located at the object, then the object is cylinder
(=> (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 920-932	If a process is an instance of stationary front and the process is located at an object and the object is an instance of air stream, then there doesn't exist an entity such that the entity is a subprocess of the process and the entity is an instance of translocation and the object moves during the entity holds during the time of existence of the process
(=> (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 804-813	If a process is an instance of weather front and an object is an instance of air stream and the process is located at the object and the object connects another object and a third object and the other object is an instance of air mass and the third object is an instance of air mass, then equal the other object and the third object

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 1034-1047

If an entity is an instance of waterspout,
then there exist another entity, a process,, , an object,, , another object and a third object such that the other entity is an instance of air stream and the process is an instance of rotating and the other entity is a patient of the process and the process originates at the object and the object is an instance of water cloud and the other object is a part of the object and the other object is cone and the process is located at the third object and the third object is an instance of body of water and the other object connects the third object and the object

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

KB Term:			Term intersection

English Word: