Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BusCompany
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BusCompany EnglishLanguage "Any TransportationCompany whose services include Transportation by Bus.") | Society.kif 345-345 | |
| (subclass BusCompany TransportationCompany) | Society.kif 346-346 | BusCompany is a subclass of transportation company |
| antecedent |
|
|
| (=> (instance ?COMPANY BusCompany) (exists (?SERVICE ?BUS) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Transportation) (instrument ?SERVICE ?BUS) (instance ?BUS Bus)))) |
Society.kif 348-356 | If X is an instance of BusCompany, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of transportation, Z is an instrument for Y, and Z is an instance of bus |
|