(=>
(and
(instance ?DEVICE Telephone)
(holdsDuring ?TIME
(and
(possesses ?AGENT ?DEVICE)
(deviceTelecomNumber ?NUMBER ?DEVICE))))
(holdsDuring ?TIME
(telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 27289-27296 |
If X is an instance of telephone and Y possesses X and X has number Z holds during W, then Z is the telephone number of Y holds during W |
(=>
(holdsDuring ?TIME
(and
(deviceTelecomNumber ?NUMBER ?DEVICE)
(homePhoneNumber ?NUMBER ?AGENT)
(located ?DEVICE ?PLACE)
(instance ?PLACE PermanentResidence)))
(holdsDuring ?TIME
(home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 27308-27315 |
If X has number Y, Y is the home phone of Z, X is located at W, and W is an instance of permanent residence holds during V, then the home of Z is W holds during V |
(=>
(and
(instance ?AGENT Human)
(holdsDuring ?TIME
(and
(deviceTelecomNumber ?NUMBER ?DEVICE)
(telephoneNumber ?NUMBER ?AGENT)
(located ?DEVICE ?PLACE)
(instance ?PLACE Residence))))
(holdsDuring ?TIME
(inhabits ?AGENT ?PLACE))) |
Mid-level-ontology.kif 27317-27326 |
If X is an instance of human and Y has number Z, Z is the telephone number of X, Y is located at W, and W is an instance of residence holds during V, then X lives in W holds during V |
(=>
(holdsDuring ?TIME
(and
(deviceTelecomNumber ?NUMBER ?DEVICE)
(mobilePhoneNumber ?NUMBER ?AGENT)))
(instance ?DEVICE MobileCellPhone)) |
Mid-level-ontology.kif 27446-27451 |
If X has number Y and the mobile number of Z is Y holds during W, then X is an instance of mobile cell phone |
(=>
(and
(instance ?DEVICE MobileCellPhone)
(holdsDuring ?TIME
(and
(deviceTelecomNumber ?NUMBER ?DEVICE)
(telephoneNumber ?NUMBER ?AGENT))))
(holdsDuring ?TIME
(mobilePhoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 27453-27460 |
If X is an instance of mobile cell phone and X has number Y and Y is the telephone number of Z holds during W, then the mobile number of Z is Y holds during W |
(=>
(holdsDuring ?TIME
(and
(deviceTelecomNumber ?NUMBER ?DEVICE)
(instance ?DEVICE MobileCellPhone)
(mobilePhoneNumber ?NUMBER ?AGENT)))
(holdsDuring ?TIME
(possesses ?AGENT ?DEVICE))) |
Mid-level-ontology.kif 27462-27468 |
If X has number Y, X is an instance of mobile cell phone, and the mobile number of Z is Y holds during W, then Z possesses X holds during W |
(=>
(and
(instance ?DEVICE FaxMachine)
(holdsDuring ?TIME
(and
(deviceTelecomNumber ?NUMBER ?DEVICE)
(possesses ?AGENT ?DEVICE))))
(holdsDuring ?TIME
(faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 27478-27485 |
If X is an instance of fax machine and X has number Y and Z possesses X holds during W, then the fax number of Z is Y holds during W |
(=>
(holdsDuring ?TIME
(and
(deviceTelecomNumber ?NUMBER ?DEVICE)
(faxNumber ?NUMBER ?AGENT)))
(instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 27487-27492 |
If X has number Y and the fax number of Z is Y holds during W, then X is an instance of fax machine |
