Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
SwimmingPool(swimming pool)
|  | natatorium, swimming_bath, swimming_pool |
| appearance as argument number 1 |
|
|
| (subclass SwimmingPool FluidContainer) | Mid-level-ontology.kif 5335-5335 | Swimming pool is a subclass of fluid container |
| (subclass SwimmingPool StationaryArtifact) | Mid-level-ontology.kif 5336-5336 | Swimming pool is a subclass of stationary artifact |
| (documentation SwimmingPool EnglishLanguage "A FluidContainer that is filled with Water and that is used for Swimming.") | Mid-level-ontology.kif 5337-5338 | Swimming pool is a subclass of stationary artifact |
| (externalImage SwimmingPool "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Mosul_swimming.jpg") | pictureList.kif 4832-4832 | Swimming pool is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?P SwimmingPool) (hasPurpose ?P (exists (?S) (and (instance ?S Swimming) (eventLocated ?S ?P))))) |
Mid-level-ontology.kif 5340-5346 | If X is an instance of swimming pool, then X has the purpose there exists Y such that Y is an instance of swimming and Y is located at X |
| (=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F FreshWater)) |
Mid-level-ontology.kif 5348-5353 | If X is an instance of swimming pool, X contains Y, and Y is an instance of fluid, then Y is an instance of freshwater |
| consequent |
|
|
| (=> (attribute ?X WaterThemePark) (exists (?POOL) (and (instance ?POOL SwimmingPool) (element ?POOL (PropertyFn ?X))))) |
naics.kif 11434-11439 | If water theme park is an attribute of X, then there exists Y such that Y is an instance of swimming pool and Y is an element of belongings of X |
|