consequent

(=>     (instance ?C Cable)     (exists (?WIRE)         (and             (instance ?WIRE WireLine)             (part ?WIRE ?C))))	Hotel.kif 1414-1419	If an object is an instance of cable, then there exists another object such that the other object is an instance of wire line and the other object is a part of the object
(=>     (instance ?X CordedTelephone)     (exists (?HANDSET ?CRADLE ?WIRE)         (and             (instance ?HANDSET TelephoneHandset)             (instance ?CRADLE TelephoneCradle)             (part ?HANDSET ?X)             (part ?CRADLE ?X)             (instance ?WIRE WireLine)             (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))	Communications.kif 78-87	If an object is an instance of corded telephone, then there exist an engineering component, another engineering component and an engineering connection such that the engineering component is an instance of telephone handset and the other engineering component is an instance of telephone cradle and the engineering component is a part of the object and the other engineering component is a part of the object and the engineering connection is an instance of wire line and the engineering connection connects the engineering component and the other engineering component
(=>     (instance ?X CordlessTelephone)     (exists (?HANDSET ?CRADLE)         (and             (instance ?HANDSET TelephoneHandset)             (instance ?CRADLE TelephoneCradle)             (part ?HANDSET ?X)             (part ?CRADLE ?X)             (not                 (exists (?WIRE)                     (and                         (instance ?WIRE WireLine)                         (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))	Communications.kif 95-107	If an object is an instance of cordless telephone, then there exist an engineering component and another engineering component such that the engineering component is an instance of telephone handset and the other engineering component is an instance of telephone cradle and the engineering component is a part of the object and the other engineering component is a part of the object and there doesn't exist an engineering connection such that the engineering connection is an instance of wire line and the engineering connection connects the engineering component and the other engineering component
(=>     (instance ?X ElectricalOutlet)     (hasPurpose ?X         (exists (?POWER ?WIRE)             (and                 (instance ?POWER PowerSource)                 (instance ?WIRE Collection)                 (memberType ?WIRE WireLine)                 (connectsEngineeringComponents ?WIRE ?X ?POWER)))))	Mid-level-ontology.kif 27808-27816	If a physical is an instance of electrical outlet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of power source and the other entity is an instance of collection and wire line is a member type of the other entity and the other entity connects the physical and the entity
(=>     (instance ?X TelephoneCradle)     (hasPurpose ?X         (exists (?SYS ?WIRE)             (and                 (instance ?SYS TelephoneSystem)                 (instance ?WIRE WireLine)                 (connectsEngineeringComponents ?WIRE ?X ?SYS)))))	Communications.kif 64-71	If a physical is an instance of telephone cradle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of telephone system and the other entity is an instance of wire line and the other entity connects the physical and the entity

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