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

Formal Language: 


KB Term:  Term intersection
English Word: 

  StationaryArtifact

Sigma KEE - StationaryArtifact
StationaryArtifact(artefact stationnaire)

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 Artefact stationnaire est une sous-classe de artefact
(typicalPart StationaryArtifact Facility) Mid-level-ontology.kif 7696-7696 typicalPart artefact stationnaire and Facility

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


(disjoint Clothing StationaryArtifact) Merge.kif 16077-16077 V�tement est disjoint de artefact stationnaire
(disjoint Fabric StationaryArtifact) Merge.kif 16030-16030 Textile est disjoint de artefact stationnaire
(disjoint MobileStructure StationaryArtifact) Mid-level-ontology.kif 7745-7745 MobileStructure est disjoint de artefact stationnaire
(subclass ATMMachine StationaryArtifact) FinancialOntology.kif 3601-3601 ATMMachine est une sous-classe de artefact stationnaire
(subclass AssemblyStation StationaryArtifact) Economy.kif 2112-2112 AssemblyStation est une sous-classe de artefact stationnaire
(subclass Balcony StationaryArtifact) Mid-level-ontology.kif 16753-16753 Balcony est une sous-classe de artefact stationnaire
(subclass BowlingLane StationaryArtifact) Sports.kif 1154-1154 BowlingLane est une sous-classe de artefact stationnaire
(subclass Bridge StationaryArtifact) Transportation.kif 1748-1748 Bridge est une sous-classe de artefact stationnaire
(subclass BroadcastingStation StationaryArtifact) Communications.kif 218-218 BroadcastingStation est une sous-classe de artefact stationnaire
(subclass Building StationaryArtifact) Merge.kif 15889-15889 Immeuble est une sous-classe de artefact stationnaire
(subclass BuildingLevel StationaryArtifact) Mid-level-ontology.kif 16768-16768 BuildingLevel est une sous-classe de artefact stationnaire
(subclass BuildingUnit StationaryArtifact) Mid-level-ontology.kif 22162-22162 BuildingUnit est une sous-classe de artefact stationnaire
(subclass Canal StationaryArtifact) Geography.kif 5864-5864 Canal est une sous-classe de artefact stationnaire
(subclass CanalLock StationaryArtifact) Transportation.kif 1832-1832 CanalLock est une sous-classe de artefact stationnaire
(subclass CanalStructure StationaryArtifact) Geography.kif 5877-5877 CanalStructure est une sous-classe de artefact stationnaire
(subclass Casino StationaryArtifact) Hotel.kif 1447-1447 Casino est une sous-classe de artefact stationnaire
(subclass Ceiling StationaryArtifact) Mid-level-ontology.kif 16705-16705 Ceiling est une sous-classe de artefact stationnaire
(subclass Chimney StationaryArtifact) Mid-level-ontology.kif 16406-16406 Chimney est une sous-classe de artefact stationnaire
(subclass Courtyard StationaryArtifact) Mid-level-ontology.kif 27914-27914 Courtyard est une sous-classe de artefact stationnaire
(subclass Curb StationaryArtifact) Mid-level-ontology.kif 16420-16420 Curb est une sous-classe de artefact stationnaire
(subclass Dam StationaryArtifact) Geography.kif 5882-5882 Dam est une sous-classe de artefact stationnaire
(subclass DanceHall StationaryArtifact) Mid-level-ontology.kif 28755-28755 DanceHall est une sous-classe de artefact stationnaire
(subclass Doorway StationaryArtifact) Mid-level-ontology.kif 16659-16659 Doorway est une sous-classe de artefact stationnaire
(subclass EducationalFacility StationaryArtifact) Mid-level-ontology.kif 24217-24217 EducationalFacility est une sous-classe de artefact stationnaire
(subclass Farm StationaryArtifact) Mid-level-ontology.kif 17104-17104 Farm est une sous-classe de artefact stationnaire

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 7644-7644 Le nombre 1 argument de StreetAddressFn est une instance de artefact stationnaire
(domain constructionPeriod 1 StationaryArtifact) Mid-level-ontology.kif 22419-22419 Le nombre 1 argument de constructionPeriod est une instance de artefact stationnaire
(domain contractor 1 StationaryArtifact) Mid-level-ontology.kif 22434-22434 Le nombre 1 argument de contractor est une instance de artefact stationnaire
(domain humanCapacity 1 StationaryArtifact) Mid-level-ontology.kif 7636-7636 Le nombre 1 argument de humanCapacity est une instance de artefact stationnaire
(domain workLocation 2 StationaryArtifact) Mid-level-ontology.kif 22147-22147 Le nombre 2 argument de workLocation est une instance de artefact stationnaire
(domainSubclass maxRoomCapacity 1 StationaryArtifact) Hotel.kif 476-476 Le nombre 1 argument de maxRoomCapacity est une sous-classe de artefact stationnaire

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


(=>
    (and
        (instance ?BUILD Constructing)
        (result ?BUILD ?ARTIFACT))
    (instance ?ARTIFACT StationaryArtifact))
Merge.kif 12982-12986
(=>
    (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 1165-1173
(=>
    (attribute ?X LoftStyle)
    (instance ?X StationaryArtifact))
Hotel.kif 1161-1163
(=>
    (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 22440-22453
(=>
    (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 1375-1384
(=>
    (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 2644-2659


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 3.0 is open source software produced by Articulate Software and its partners