Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IndustrialPlant(industrial plant) |  | auto_factory, automobile_factory, bottling_plant, car_factory, chemical_plant, factory, industrial_plant, manufactory, manufacturing_plant, mill, mint, plant, works |
| appearance as argument number 1 |
|
|
| (subclass IndustrialPlant StationaryArtifact) | Mid-level-ontology.kif 17284-17284 | Industrial plant is a subclass of stationary artifact |
| (documentation IndustrialPlant EnglishLanguage "A Building or part of a Building or group of Buildings whose purpose is to Manufacture something.") | Mid-level-ontology.kif 17285-17286 | Industrial plant is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PLANT IndustrialPlant) (or (instance ?PLANT Building) (exists (?BUILDING) (and (instance ?BUILDING Building) (located ?BUILDING ?PLANT))))) |
Mid-level-ontology.kif 17288-17295 | If X is an instance of industrial plant, then X is an instance of building or there exists Y such that Y is an instance of building and Y is located at X |
| (=> (instance ?PLANT IndustrialPlant) (hasPurpose ?PLANT (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (eventLocated ?MANUFACTURE ?PLANT))))) |
Mid-level-ontology.kif 17297-17303 | If X is an instance of industrial plant, then X has the purpose there exists Y such that Y is an instance of manufacture and Y is located at X |
|