Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TransportationCompany(transportation company) |  | line, transportation_company, trucking_company |
| appearance as argument number 1 |
|
|
| (subclass TransportationCompany Business) | Mid-level-ontology.kif 8471-8471 | Transportation company is a subclass of business |
| (documentation TransportationCompany EnglishLanguage "A Business whose services include Transportation, e.g. a RailroadCompany, an airline, a cruise ship line, etc.") | Mid-level-ontology.kif 8472-8474 | Transportation company is a subclass of business |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain providesDestination 1 TransportationCompany) | Transportation.kif 5078-5078 | The number 1 argument of provides destination is an instance of transportation company |
| antecedent |
|
|
| (=> (instance ?C TransportationCompany) (exists (?S) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Transportation)))) |
Mid-level-ontology.kif 8476-8482 | If X is an instance of transportation company, then there exists Y such that Y is an instance of commercial service, X is an agent of Y, and Y is an instance of transportation |
| (=> (and (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation) (instance ?X TransportationCompany)) (exists (?SERVICE ?PLACE) (and (instance ?SERVICE WaterTransportationService) (serviceProvider ?SERVICE ?X) (eventLocated ?SERVICE ?PLACE) (instance ?PLACE WaterArea) (located ?X NorthAmerica)))) |
naics.kif 8117-8127 | If deep sea coastal and great lakes water transportation is an attribute of X and X is an instance of transportation company, then there exist Y, Z such that Y is an instance of Water Transportation Service, X provides a service during Y, Y is located at Z, Z is an instance of water area, and X is located at north america |
| consequent |
|
|
| (=> (and (attribute ?ORG ?ATT) (instance ?ATT DeepSeaCoastalAndGreatLakesWaterTransportation)) (instance ?ORG TransportationCompany)) |
naics.kif 8111-8115 | If X is an attribute of Y and X is an instance of deep sea coastal and great lakes water transportation, then Y is an instance of transportation company |
|