(=>
(instance ?DEVICE SwitchDevice)
(exists (?PROC1 ?PROC2 ?ELECTRIC)
(and
(instrument ?PROC1 ?DEVICE)
(causes ?PROC1 ?PROC2)
(instrument ?PROC2 ?ELECTRIC)
(instance ?ELECTRIC ElectricDevice)))) |
Mid-level-ontology.kif 2363-2370 |
If X is an instance of switch device, then there exist Y, Z, W such that X is an instrument for Y, Y causes Z, W is an instrument for Z, and W is an instance of electric device |
(=>
(instance ?S ElectricalSignalling)
(exists (?D)
(and
(instance ?D ElectricDevice)
(instrument ?S ?D)))) |
Mid-level-ontology.kif 3239-3244 |
If X is an instance of electrical signalling, then there exists Y such that Y is an instance of electric device and Y is an instrument for X |
(=>
(instance ?S ElectronicSignalling)
(exists (?D)
(and
(instance ?D ElectricDevice)
(instrument ?S ?D)))) |
Mid-level-ontology.kif 3251-3256 |
If X is an instance of electronic signalling, then there exists Y such that Y is an instance of electric device and Y is an instrument for X |
(=>
(and
(instance ?DSAVE DataSaving)
(resource ?DSAVE ?RES)
(instance ?RES ElectronicDataStorageDevice))
(exists (?DEV)
(and
(instance ?DEV ElectricDevice)
(instrument ?DSAVE ?DEV)
(holdsDuring
(WhenFn ?DSAVE)
(connected ?RES ?DEV))))) |
Media.kif 684-694 |
If X is an instance of data saving, Y is a resource for X, and Y is an instance of electronic data storage device, then there exists Z such that Z is an instance of electric device, Z is an instrument for X, and Y is connected to Z holds during the time of existence of X |
(=>
(and
(musicGenre ?MR AcousticMusic)
(record ?MR ?MM))
(not
(exists (?I ?ED)
(and
(instance ?I MusicalInstrument)
(instrument ?MM ?I)
(instance ?ED ElectricDevice)
(part ?ED ?I))))) |
Music.kif 561-571 |
If acoustic is in the genre X and X is a record of Y, then there don't exist Z, W such that Z is an instance of musical instrument, Z is an instrument for Y, W is an instance of electric device, and W is a part of Z |
(=>
(musicGenre ?MR ElectronicMusic)
(exists (?DV ?MM)
(and
(instance ?DV ElectricDevice)
(record ?MR ?MM)
(instrument ?MM ?DV)))) |
Music.kif 691-697 |
If electronic music is in the genre X, then there exist Y, Z such that Y is an instance of electric device, X is a record of Z, and Y is an instrument for Z |
(=>
(instance ?CTRL TemperatureControl)
(exists (?DEVICE ?TEMP)
(and
(instance ?DEVICE ElectricDevice)
(part ?CTRL ?DEVICE)
(hasPurpose ?DEVICE
(exists (?PROC)
(and
(instance ?AREA Region)
(or
(instance ?PROC Heating)
(instance ?PROC Cooling))
(instrument ?PROC ?CTRL))))))) |
engineering.kif 1563-1576 |
If X is an instance of temperature control, then there exist Y, Z such that Y is an instance of electric device, X is a part of Y, Y has the purpose there exists W such that V is an instance of region, W is an instance of heating or W is an instance of cooling, and X is an instrument for W |
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG ElectronicsAndApplianceStores))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?THING)
(and
(instance ?EV Selling)
(instance ?THING ElectricDevice)
(patient ?EV ?THING)))))) |
naics.kif 7183-7195 |
If X is an instance of organization and electronics and appliance stores is an attribute of X, then there exist Y, Z such that Z is a member of X, Y is an agent of Z, there exists W such that Y is an instance of selling, W is an instance of electric device, and W is a patient of Y |
