| Cloud(cloud)
| | cloud, dull, heavy, leaden, lowering, mother-of-pearl_cloud, nacreous_cloud, nebule, sullen, threatening, water_vapor, water_vapour |
| appearance as argument number 1 |
|
|
| (subclass Cloud GasMixture) | Merge.kif 14925-14925 | Cloud is a subclass of gas mixture |
| (documentation Cloud EnglishLanguage "Any GasMixture that is visible, e.g. Smoke produced by a fire or clouds of water vapor in the sky.") | Merge.kif 14926-14927 | Cloud is a subclass of gas mixture |
| (externalImage Cloud "http://upload.wikimedia.org/wikipedia/commons/6/66/ Img20050526_0007_at_tannheim_cumulus.jpg") | pictureList.kif 70-70 | Cloud is a subclass of gas mixture |
| (externalImage Cloud "http://articulatesoftware.com/SUMOpictures/weather/ clouds/ cloud_1.png") | pictureList.kif 352-352 | Cloud is a subclass of gas mixture |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CLOUD Cloud) (capability Seeing patient ?CLOUD)) |
Merge.kif 14929-14931 | If X is an instance of cloud, then X is capable of doing seeing as a patient |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?L Cloudy)) (exists (?C) (and (instance ?C Cloud) (holdsDuring ?T (orientation ?C ?L Above))))) |
Mid-level-ontology.kif 33013-33020 | If cloudy is an attribute of X holds during Y, then there exists Z such that Z is an instance of cloud and Z is above to X holds during Y |
| (=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G)))) |
Weather.kif 2975-2996 | If All of the following hold: (1) X is an instance of tornado (2) Y is an instance of rotating (3) Z is an instance of air (4) W is an instance of translocation (5) Y is a subprocess of X (6) W is a subprocess of Y (7) Z is a patient of W (8) entities in the process W are moving horizontal to, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of geographic area (3) X is located at V (4) U is a part of Z (5) cone segment is an attribute of U (6) the top of U is T (7) the bottom of U is S (8) R is an instance of cloud (9) the bottom of R is Q (10) T meets Q (11) S meets V |
|
|
|