| Farm
| |
| appearance as argument number 1 |
|
|
| (documentation Farm EnglishLanguage "A StationaryArtifact consisting of a cultivated LandArea and Buildings for maintaining the land and/ or the Animals on the land.") | Mid-level-ontology.kif 15759-15761 | |
| (externalImage Farm "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Farming_near_Klingerstown%2C_Pennsylvania.jpg") | pictureList.kif 89-89 | |
| (subclass Farm StationaryArtifact) | Mid-level-ontology.kif 15758-15758 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Farm "农场") | domainEnglishFormat.kif 23272-23272 | |
| (termFormat ChineseTraditionalLanguage Farm "農場") | domainEnglishFormat.kif 23271-23271 | |
| (termFormat EnglishLanguage Farm "farm") | domainEnglishFormat.kif 23270-23270 |
| consequent |
|
|
| (=> (and (instance ?FARMING Farming) (agent ?FARMING ?FARMER)) (exists (?FARM) (and (instance ?FARM Farm) (holdsDuring (WhenFn ?FARMING) (located ?FARMER ?FARM))))) |
Mid-level-ontology.kif 20534-20541 | |
| (=> (instance ?B FarmBuilding) (exists (?F) (and (instance ?F Farm) (located ?B ?F)))) |
Mid-level-ontology.kif 7123-7128 | |
| (=> (instance ?BARN Barn) (exists (?FARM) (and (instance ?FARM Farm) (located ?BARN ?FARM)))) |
Mid-level-ontology.kif 15768-15773 |
|
|
|