|
|
   Sensor
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AmbulanceCompany EnglishLanguage "A TransportationCompany whose services include Transportation by Ambulance.") | Society.kif 358-358 | |
| (subclass AmbulanceCompany TransportationCompany) | Society.kif 359-359 |
| antecedent |
|
|
| (=> (instance ?COMPANY AmbulanceCompany) (exists (?SERVICE ?AMB) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Transportation) (instrument ?SERVICE ?AMB) (instance ?AMB Ambulance)))) |
Society.kif 361-369 |
|
|
|