(=>
(instance ?X ElectricalOutlet)
(hasPurpose ?X
(exists (?POWER ?WIRE)
(and
(instance ?POWER PowerSource)
(instance ?WIRE CollectionOfObjects)
(memberType ?WIRE WireLine)
(connectsEngineeringComponents ?WIRE ?X ?POWER))))) |
Mid-level-ontology.kif 28491-28499 |
If X is an instance of electrical outlet, then X has the purpose there exist Y, Z such that Y is an instance of power source, Z is an instance of collection, wire line is a member type of Z, Z connects X, and Y |
(=>
(instance ?X TelephoneCradle)
(hasPurpose ?X
(exists (?SYS ?WIRE)
(and
(instance ?SYS TelephoneSystem)
(instance ?WIRE WireLine)
(connectsEngineeringComponents ?WIRE ?X ?SYS))))) |
Communications.kif 64-71 |
If X is an instance of telephone cradle, then X has the purpose there exist Y, Z such that Y is an instance of telephone system, Z is an instance of wire line, Z connects X, and Y |
(=>
(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 X is an instance of corded telephone, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of telephone handset (3) Z is an instance of telephone cradle (4) Y is a part of X (5) Z is a part of X (6) W is an instance of wire line (7) W connects Y (8) Z |
(=>
(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 X is an instance of cordless telephone, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of telephone handset (3) Z is an instance of telephone cradle (4) Y is a part of X (5) Z is a part of X (6) there doesn't exist W such that W is an instance of wire line (7) W connects Y (8) Z |
(=>
(instance ?C Cable)
(exists (?WIRE)
(and
(instance ?WIRE WireLine)
(part ?WIRE ?C)))) |
Hotel.kif 1414-1419 |
If X is an instance of cable, then there exists Y such that Y is an instance of wire line and Y is a part of X |
