Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Factory |  | boatyard |
| appearance as argument number 1 |
|
|
| (subclass Factory StationaryArtifact) | Society.kif 1096-1096 | Factory is a subclass of stationary artifact |
| (documentation Factory EnglishLanguage "A Building or a group of Buildings whose purpose is to Manufacture something.") | Society.kif 1097-1097 | Factory is a subclass of stationary artifact |
| antecedent |
|
|
| (=> (instance ?PLANT Factory) (exists (?BUILDING) (and (instance ?BUILDING FactoryBuilding) (located ?BUILDING ?PLANT)))) |
Society.kif 1100-1105 | If X is an instance of Factory, then there exists Y such that Y is an instance of FactoryBuilding and Y is located at X |
| (=> (instance ?PLANT Factory) (hasPurpose ?PLANT (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (eventLocated ?MANUFACTURE ?PLANT))))) |
Society.kif 1107-1112 | If X is an instance of Factory, then X has the purpose there exists Y such that Y is an instance of manufacture and Y is located at X |
| (=> (instance ?PLANT Factory) (exists (?PRODUCT ?MANUFACT) (and (instance ?PRODUCT Product) (eventLocated ?MANUFACT ?PLANT) (result ?MANUFACT ?PRODUCT)))) |
Society.kif 1114-1120 | If X is an instance of Factory, then there exist Y, Z such that Y is an instance of product, Z is located at X, and Y is a result of Z |
|