Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  StationaryArtifact

Sigma KEE - StationaryArtifact
StationaryArtifact(固定人工制品)

appearance as argument number 1
-------------------------


(documentation StationaryArtifact ChineseLanguage "StationaryArtifact 是一种有固定空间位置 的 Artifact。这个 Class 多数的实例为建筑作品,如:艾菲尔铁塔、大金字塔、办公大楼、单户式住宅等等。") Merge.kif 15858-15859
(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 15854-15857
(externalImage StationaryArtifact "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ af/ All_Gizah_Pyramids.jpg/ 300px-All_Gizah_Pyramids.jpg") pictureList.kif 1257-1257 externalImage 固定人工制品 and "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ af/ All_Gizah_Pyramids.jpg/ 300px-All_Gizah_Pyramids.jpg"
(subclass StationaryArtifact Artifact) Merge.kif 15853-15853 固定人工制品人工制品subclass

appearance as argument number 2
-------------------------


(disjoint Clothing StationaryArtifact) Merge.kif 16063-16063 服装 和 % 2 是 disjoint
(disjoint Fabric StationaryArtifact) Merge.kif 16037-16037 织品 和 % 2 是 disjoint
(subclass ATMMachine StationaryArtifact) FinancialOntology.kif 3474-3474 ATMMachine固定人工制品subclass
(subclass Balcony StationaryArtifact) Mid-level-ontology.kif 13065-13065 Balcony固定人工制品subclass
(subclass Barrier StationaryArtifact) MilitaryDevices.kif 1996-1996 Barrier固定人工制品subclass
(subclass BowlingLane StationaryArtifact) Sports.kif 990-990 BowlingLane固定人工制品subclass
(subclass Bridge StationaryArtifact) Transportation.kif 1589-1589 Bridge固定人工制品subclass
(subclass BroadcastingStation StationaryArtifact) Communications.kif 218-218 BroadcastingStation固定人工制品subclass
(subclass Building StationaryArtifact) Merge.kif 15873-15873 建筑物固定人工制品subclass
(subclass BuildingLevel StationaryArtifact) Mid-level-ontology.kif 13080-13080 BuildingLevel固定人工制品subclass
(subclass Canal StationaryArtifact) Geography.kif 5255-5255 Canal固定人工制品subclass
(subclass CanalLock StationaryArtifact) Transportation.kif 1662-1662 CanalLock固定人工制品subclass
(subclass CanalStructure StationaryArtifact) Geography.kif 5268-5268 CanalStructure固定人工制品subclass
(subclass Casino StationaryArtifact) Hotel.kif 1383-1383 Casino固定人工制品subclass
(subclass Ceiling StationaryArtifact) Mid-level-ontology.kif 13019-13019 Ceiling固定人工制品subclass
(subclass Chimney StationaryArtifact) Mid-level-ontology.kif 12727-12727 Chimney固定人工制品subclass
(subclass Courtyard StationaryArtifact) Mid-level-ontology.kif 24002-24002 Courtyard固定人工制品subclass
(subclass Curb StationaryArtifact) Mid-level-ontology.kif 12740-12740 Curb固定人工制品subclass
(subclass Dam StationaryArtifact) Geography.kif 5273-5273 Dam固定人工制品subclass
(subclass DanceHall StationaryArtifact) Mid-level-ontology.kif 25017-25017 DanceHall固定人工制品subclass
(subclass Doorway StationaryArtifact) Mid-level-ontology.kif 12973-12973 Doorway固定人工制品subclass
(subclass EducationalFacility StationaryArtifact) Mid-level-ontology.kif 20444-20444 EducationalFacility固定人工制品subclass
(subclass Farm StationaryArtifact) Mid-level-ontology.kif 13382-13382 Farm固定人工制品subclass
(subclass Fence StationaryArtifact) Mid-level-ontology.kif 13322-13322 Fence固定人工制品subclass
(subclass Fireplace StationaryArtifact) Mid-level-ontology.kif 13039-13039 Fireplace固定人工制品subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain StreetAddressFn 1 StationaryArtifact) Mid-level-ontology.kif 6368-6368 StreetAddressFn 的 1 数量 是 固定人工制品instance
(domain constructionPeriod 1 StationaryArtifact) Mid-level-ontology.kif 18455-18455 constructionPeriod 的 1 数量 是 固定人工制品instance
(domain contractor 1 StationaryArtifact) Mid-level-ontology.kif 18469-18469 contractor 的 1 数量 是 固定人工制品instance
(domain humanCapacity 1 StationaryArtifact) Mid-level-ontology.kif 6333-6333 humanCapacity 的 1 数量 是 固定人工制品instance
(domainSubclass maxRoomCapacity 1 StationaryArtifact) Hotel.kif 449-449 maxRoomCapacity 的 1 数量 是 固定人工制品subclass

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 15861-15871

consequent
-------------------------


(<=>
    (exists (?BUILD)
        (and
            (instance ?BUILD Constructing)
            (result ?BUILD ?ARTIFACT)))
    (instance ?ARTIFACT StationaryArtifact))
Merge.kif 12756-12761 有存在 过程 这样 那个 过程建筑instance 实体那个 过程result 若且唯若 那个 实体固定人工制品instance
(=>
    (attribute ?X LoftStyle)
    (exists (?FLOOR ?LOFT ?CEILING)
        (and
            (bottom ?FLOOR ?X)
            (top ?CEILING ?X)
            (instance ?LOFT StationaryArtifact)
            (orientation ?LOFT ?FLOOR Above)
            (orientation ?LOFT ?CEILING Below))))
Hotel.kif 1110-1118
(=>
    (attribute ?X LoftStyle)
    (instance ?X StationaryArtifact))
Hotel.kif 1106-1108
(=>
    (contractor ?BUILDING ?CONTRACTOR)
    (exists (?CONTRACT ?AGENT)
        (and
            (property ?CONTRACT Contract)
            (partyToAgreement ?AGENT ?CONTRACT)
            (partyToAgreement ?CONTRACTOR ?CONTRACT)
            (confersObligation
                (exists (?CONSTRUCT ?BUILDING2)
                    (and
                        (instance ?CONSTRUCT Constructing)
                        (agent ?CONSTRUCT ?CONTRACTOR)
                        (result ?CONSTRUCT ?BUILDING2)
                        (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR))))
Mid-level-ontology.kif 18475-18488
(=>
    (instance ?Estate RealEstate)
    (or
        (instance ?Estate StationaryArtifact)
        (instance ?Estate LandArea)
        (exists (?Artifact ?Area)
            (and
                (instance ?Artifact StationaryArtifact)
                (instance ?Area LandArea)
                (equal ?Estate
                    (MereologicalSumFn ?Artifact ?Area))))))
FinancialOntology.kif 1301-1310
(=>
    (patient ?RAIN AcidRainfall)
    (modalAttribute
        (exists (?D ?O ?X ?L)
            (and
                (instance ?D Damaging)
                (causes ?RAIN ?D)
                (instrument ?D RAIN)
                (instance ?O Organism)
                (instance ?X StationaryArtifact)
                (instance ?L Outdoors)
                (located ?X ?L)
                (located ?O ?L)
                (or
                    (patient ?D ?O)
                    (patient ?D ?X)))) Possibility))
Geography.kif 2448-2463


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners