antecedent

(=>     (and         (instance ?BERG Iceberg)         (instance ?SHIP WaterVehicle))     (maritimeHazard ?BERG ?SHIP))	Geography.kif 6224-6228	If a physical is an instance of iceberg and an object is an instance of water vehicle, then the physical is hazardous to the object.
(=>     (instance ?BERG Iceberg)     (exists (?PART ?WATER)         (and             (instance ?PART Ice)             (most ?PART ?BERG)             (instance ?WATER BodyOfWater)             (covers ?WATER ?PART))))	Geography.kif 6215-6222	If an object is an instance of iceberg, then there exist another object and a third object such that the other object is an instance of ice and the other object is most of the object and the third object is an instance of body of water and the third object covers the other object
(=>     (instance ?BERG Iceberg)     (exists (?SHEET)         (and             (subclass ?SHEET Glacier)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?BERG))                 (material ?SHEET ?BERG)))))	Geography.kif 6205-6213	If a physical is an instance of iceberg, then there exists a class such that the class is a subclass of glacier and the physical is made of the class holds during immediately before the time of existence of the physical

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