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 14600-14603 | |
(externalImage StationaryArtifact "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ af/ All_Gizah_Pyramids.jpg/ 300px-All_Gizah_Pyramids.jpg") | pictureList.kif 1257-1257 | |
(subclass StationaryArtifact Artifact) | Merge.kif 14599-14599 | Stationary artifact is a subclass of artifact |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain StreetAddressFn 1 StationaryArtifact) | Mid-level-ontology.kif 6346-6346 | The number 1 argument of street address is an instance of stationary artifact |
(domain constructionPeriod 1 StationaryArtifact) | Mid-level-ontology.kif 18488-18488 | The number 1 argument of construction period is an instance of stationary artifact |
(domain contractor 1 StationaryArtifact) | Mid-level-ontology.kif 18502-18502 | The number 1 argument of contractor is an instance of stationary artifact |
(domain humanCapacity 1 StationaryArtifact) | Mid-level-ontology.kif 6338-6338 | The number 1 argument of human capacity is an instance of stationary artifact |
(domainSubclass maxRoomCapacity 1 StationaryArtifact) | Hotel.kif 452-452 | The number 1 argument of maximum capacity is a subclass of stationary artifact |
antecedent |
![]() |
(=> (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 14605-14615 |
|
consequent |
![]() |
![]() |
![]() |