| 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 15731-15733 | |
| (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 15730-15730 | Farm est une sous-classe de artefact stationnaire |
| 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 20506-20513 | |
| (=> (instance ?B FarmBuilding) (exists (?F) (and (instance ?F Farm) (located ?B ?F)))) |
Mid-level-ontology.kif 7095-7100 | |
| (=> (instance ?BARN Barn) (exists (?FARM) (and (instance ?FARM Farm) (located ?BARN ?FARM)))) |
Mid-level-ontology.kif 15740-15745 |
|
|
|