TreeView 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 1277-1277	Air mass is a subclass of air stream
(subclass EyeOfCyclone AirStream)	Weather.kif 1024-1024	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 6277-6277	Wind flow is a subclass of air stream
(termFormat ChineseTraditionalLanguage AirStream "氣流")	domainEnglishFormat.kif 6276-6276	Wind flow is a subclass of air stream
(termFormat EnglishLanguage AirStream "air stream")	domainEnglishFormat.kif 6275-6275	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 1013-1018	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 1378-1390	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 1262-1271	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 1492-1505

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: