|
|
   StationaryArtifact
|
|
|
| appearance as argument number 1 |
|
|
| (documentation StationaryArtifact ChineseLanguage "StationaryArtifact 是一种有固定空间位置 的 Artifact。这个 Class 多数的实例为建筑作品，如：艾菲尔铁塔、大金字塔、办公大楼、单户式住宅等等。") | chinese_format.kif 3584-3585 | |
| (documentation StationaryArtifact EnglishLanguage "A StationaryArtifact is an Artifact that has a fixed spatial location. Most instances of this Class are architectural works, e.g. the Eiffel Tower, the Great Pyramids, office towers, single_family houses, etc.") | Merge.kif 15872-15875 | |
| (externalImage StationaryArtifact "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ af/ All_Gizah_Pyramids.jpg/ 300px_All_Gizah_Pyramids.jpg") | pictureList.kif 1256-1256 | |
| (subclass StationaryArtifact Artifact) | Merge.kif 15871-15871 | 固定人工制品 是 人工制品 的 subclass |
| (typicalPart StationaryArtifact Facility) | Mid-level-ontology.kif 7696-7696 | 固定人工制品 typically 是 Facility 的 part |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain StreetAddressFn 1 StationaryArtifact) | Mid-level-ontology.kif 7644-7644 | 街道地址 的 1 数量 是 固定人工制品 的 instance |
| (domain constructionPeriod 1 StationaryArtifact) | Mid-level-ontology.kif 22419-22419 | constructionPeriod 的 1 数量 是 固定人工制品 的 instance |
| (domain contractor 1 StationaryArtifact) | Mid-level-ontology.kif 22434-22434 | contractor 的 1 数量 是 固定人工制品 的 instance |
| (domain humanCapacity 1 StationaryArtifact) | Mid-level-ontology.kif 7636-7636 | 人的能力 的 1 数量 是 固定人工制品 的 instance |
| (domain workLocation 2 StationaryArtifact) | Mid-level-ontology.kif 22147-22147 | workLocation 的 2 数量 是 固定人工制品 的 instance |
| (domainSubclass maxRoomCapacity 1 StationaryArtifact) | Hotel.kif 476-476 | maxRoomCapacity 的 1 数量 是 固定人工制品 的 subclass |
| antecedent |
|
|
| (=> (instance ?ARTIFACT StationaryArtifact) (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)))) |
Merge.kif 12988-12993 | |
| (=> (instance ?ARTIFACT StationaryArtifact) (exists (?PLACE) (and (holdsDuring (WhenFn ?ARTIFACT) (located ?ARTIFACT ?PLACE)) (not (exists (?P2) (and (holdsDuring (WhenFn ?ARTIFACT) (located ?ARTIFACT ?P2)) (not (equal ?PLACE ?P2)))))))) |
Merge.kif 15877-15887 |
| consequent |
|
|
|
|
|
