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 15800-15801
(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 15796-15799
(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 15795-15795 固定人工制品人工制品subclass

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


(disjoint Clothing StationaryArtifact) Merge.kif 16011-16011 服装 和 % 2 是 disjoint
(disjoint Fabric StationaryArtifact) Merge.kif 15985-15985 织品 和 % 2 是 disjoint
(instance Distillery StationaryArtifact) Society.kif 1231-1231 Distillery固定人工制品instance
(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 BotanicalGarden StationaryArtifact) Offers.kif 305-305 BotanicalGarden固定人工制品subclass
(subclass BowlingLane StationaryArtifact) Sports.kif 990-990 BowlingLane固定人工制品subclass
(subclass Bridge StationaryArtifact) Transportation.kif 1562-1562 Bridge固定人工制品subclass
(subclass BroadcastingStation StationaryArtifact) Communications.kif 218-218 BroadcastingStation固定人工制品subclass
(subclass Building StationaryArtifact) Merge.kif 15815-15815 建筑物固定人工制品subclass
(subclass BuildingLevel StationaryArtifact) Mid-level-ontology.kif 13080-13080 BuildingLevel固定人工制品subclass
(subclass Canal StationaryArtifact) Geography.kif 5256-5256 Canal固定人工制品subclass
(subclass CanalLock StationaryArtifact) Transportation.kif 1635-1635 CanalLock固定人工制品subclass
(subclass CanalStructure StationaryArtifact) Geography.kif 5269-5269 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 23922-23922 Courtyard固定人工制品subclass
(subclass Curb StationaryArtifact) Mid-level-ontology.kif 12740-12740 Curb固定人工制品subclass
(subclass Dam StationaryArtifact) Geography.kif 5274-5274 Dam固定人工制品subclass
(subclass DanceHall StationaryArtifact) Mid-level-ontology.kif 24937-24937 DanceHall固定人工制品subclass
(subclass Doorway StationaryArtifact) Mid-level-ontology.kif 12973-12973 Doorway固定人工制品subclass
(subclass EducationalFacility StationaryArtifact) Mid-level-ontology.kif 20386-20386 EducationalFacility固定人工制品subclass
(subclass Factory StationaryArtifact) Society.kif 1122-1122 Factory固定人工制品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 18397-18397 constructionPeriod 的 1 数量 是 固定人工制品instance
(domain contractor 1 StationaryArtifact) Mid-level-ontology.kif 18411-18411 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 15803-15813

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


(<=>
    (exists (?BUILD)
        (and
            (instance ?BUILD Constructing)
            (result ?BUILD ?ARTIFACT)))
    (instance ?ARTIFACT StationaryArtifact))
Merge.kif 12698-12703 有存在 过程 这样 那个 过程建筑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 18417-18430
(=>
    (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