| Farm(farm)
| | cattle_farm, cattle_ranch, chicken_farm, farm, ranch, spread, stud_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 15950-15952 | |
| (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 15949-15949 | Farm is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Farm "农场") | domainEnglishFormat.kif 23292-23292 | |
| (termFormat ChineseTraditionalLanguage Farm "農場") | domainEnglishFormat.kif 23291-23291 | |
| (termFormat EnglishLanguage Farm "farm") | domainEnglishFormat.kif 23290-23290 |
| consequent |
|
|
| (=> (and (instance ?FARMING Farming) (agent ?FARMING ?FARMER)) (exists (?FARM) (and (instance ?FARM Farm) (holdsDuring (WhenFn ?FARMING) (located ?FARMER ?FARM))))) |
Mid-level-ontology.kif 20765-20772 |
|
| (=> (instance ?B FarmBuilding) (exists (?F) (and (instance ?F Farm) (located ?B ?F)))) |
Mid-level-ontology.kif 7314-7319 |
|
| (=> (instance ?BARN Barn) (exists (?FARM) (and (instance ?FARM Farm) (located ?BARN ?FARM)))) |
Mid-level-ontology.kif 15959-15964 |
|
|
|
|