(=>
(instance ?CONNECTION EngineeringConnection)
(exists (?COMP1 ?COMP2)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2))) |
Merge.kif 16492-16495 |
If X is an instance of engineering connection, then there exist Y, Z such that X connects Y, and Z |
(=>
(connectedEngineeringComponents ?COMP1 ?COMP2)
(exists (?CONNECTION)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2))) |
Merge.kif 16504-16507 |
If X is connected to Y, then there exists Z such that Z connects X and Y |
(=>
(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 ?ADAPT OutletAdapter)
(hasPurpose ?ADAPT
(exists (?OUTLET ?PLUG)
(and
(instance ?PLUG ElectricalPlug)
(instance ?OUTLET ElectricalOutlet)
(completelyFills ?PLUG ?ADAPT)
(completelyFills ?ADAPT ?OUTLET)
(connectsEngineeringComponents ?ADAPT ?PLUG ?OUTLET))))) |
Mid-level-ontology.kif 28549-28558 |
If X is an instance of outlet adapter, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Z is an instance of electrical plug (3) Y is an instance of electrical outlet (4) Z completely fills X (5) X completely fills Y (6) X connects Z (7) 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 ?X Modem)
(hasPurpose ?X
(exists (?ISP ?CONN)
(and
(instance ?ISP InternetServiceProvider)
(connectsEngineeringComponents ?CONN ?X ?ISP)
(instance ?CONN TelephoneLine))))) |
Hotel.kif 1389-1396 |
If X is an instance of modem, then X has the purpose there exist Y, Z such that Y is an instance of internet service provider, Z connects X, Y, and Z is an instance of telephone line |
