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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StationaryArtifact
StationaryArtifact
Amphitheatrum_Flavium, Antonine_Wall, Artefato_Estacionario, Augean_stables, Babel, Bastille, Baton_Rouge_Bridge, Bayonne_Bridge, Benjamin_Franklin_Bridge, Bosporus_Bridge, Bronx-Whitestone_Bridge, Brooklyn_Bridge, Caledonian_Canal, Caloosahatchee_Canal, Cape_Cod_Canal, Channel_Tunnel, Chinese_Wall, Chisholm_Trail, Colosseum, Commodore_John_Barry_Bridge, Dachau, Delaware_Memorial_Bridge, Delphic_oracle, Dipylon, Dipylon_gate, Flaminian_Way, Forbidden_City, Fort_George_G._Meade, Fort_George_Gordon_Meade, Fort_Meade, George_Washington_Bridge, Golconda, Gota_Canal, Great_Pyramid, Great_Wall, Great_Wall_of_China, Greater_New_Orleans_Bridge, Humber_Bridge, Iditarod_Trail, Indian_trail, Kammon_Strait_Bridge, Labyrinth_of_Minos, Leaning_Tower, Leaning_Tower_of_Pisa, Louvre, Louvre_Museum, Machu_Picchu, Mackinac_Bridge, Maginot_Line, ManufattoStatico...

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


s__documentation(s__StationaryArtifact,s__ChineseLanguage,'StationaryArtifact 是一种有固定空间位置 的 Artifact。这个 Class 多数的实例为建筑作品,如:艾菲尔铁塔、大金字塔、办公大楼、单户式住宅等等。')

Merge.kif 15800-15801
s__documentation(s__StationaryArtifact,s__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
s__externalImage(s__StationaryArtifact,'http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/All_Gizah_Pyramids.jpg/300px-All_Gizah_Pyramids.jpg')

pictureList.kif 1257-1257
s__subclass(s__StationaryArtifact,s__Artifact)

Merge.kif 15795-15795

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


s__disjoint(s__Clothing,s__StationaryArtifact)

Merge.kif 16011-16011
s__disjoint(s__Fabric,s__StationaryArtifact)

Merge.kif 15985-15985
s__instance(s__StationaryArtifact,s__SetOrClass)

Society.kif 1231-1231
s__instance(s__StationaryArtifact,s__SetOrClass)

FinancialOntology.kif 3474-3474
s__instance(s__StationaryArtifact,s__SetOrClass)

Mid-level-ontology.kif 13065-13065
s__instance(s__Barrier,s__SetOrClass)

MilitaryDevices.kif 1996-1996
s__instance(s__StationaryArtifact,s__SetOrClass)

Offers.kif 305-305
s__instance(s__StationaryArtifact,s__SetOrClass)

Sports.kif 990-990
s__subclass(s__Bridge,s__StationaryArtifact)

Transportation.kif 1562-1562
s__instance(s__StationaryArtifact,s__SetOrClass)

Communications.kif 218-218
s__instance(s__Building,s__SetOrClass)

Merge.kif 15815-15815
s__instance(s__StationaryArtifact,s__SetOrClass)

Mid-level-ontology.kif 13080-13080
s__instance(s__StationaryArtifact,s__SetOrClass)

Geography.kif 5256-5256
s__instance(s__StationaryArtifact,s__SetOrClass)

Transportation.kif 1635-1635
s__subclass(s__CanalStructure,s__StationaryArtifact)

Geography.kif 5269-5269
s__instance(s__StationaryArtifact,s__SetOrClass)

Hotel.kif 1383-1383
s__instance(s__Ceiling,s__SetOrClass)

Mid-level-ontology.kif 13019-13019
s__subclass(s__Chimney,s__StationaryArtifact)

Mid-level-ontology.kif 12727-12727
s__instance(s__StationaryArtifact,s__SetOrClass)

Mid-level-ontology.kif 23922-23922
s__subclass(s__Curb,s__StationaryArtifact)

Mid-level-ontology.kif 12740-12740
s__instance(s__Dam,s__SetOrClass)

Geography.kif 5274-5274
s__instance(s__StationaryArtifact,s__SetOrClass)

Mid-level-ontology.kif 24937-24937
s__instance(s__StationaryArtifact,s__SetOrClass)

Mid-level-ontology.kif 12973-12973
s__instance(s__StationaryArtifact,s__SetOrClass)

Mid-level-ontology.kif 20386-20386
s__subclass(s__Factory,s__StationaryArtifact)

Society.kif 1122-1122

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__StreetAddressFn__m,1,s__StationaryArtifact)

Mid-level-ontology.kif 6368-6368
s__domain(s__constructionPeriod__m,1,s__StationaryArtifact)

Mid-level-ontology.kif 18397-18397
s__domain(s__contractor__m,1,s__StationaryArtifact)

Mid-level-ontology.kif 18411-18411
s__domain(s__humanCapacity__m,1,s__StationaryArtifact)

Mid-level-ontology.kif 6333-6333
s__domainSubclass(s__maxRoomCapacity__m,1,s__StationaryArtifact)

Hotel.kif 449-449

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15803-15813

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


( ! [V__ARTIFACT] :
   ((? [V__BUILD] :
       (s__instance(V__BUILD,s__Constructing) &
         s__result(V__BUILD,V__ARTIFACT)))
   <=>
   s__instance(V__ARTIFACT,s__StationaryArtifact))
)

Merge.kif 12698-12703
( ! [V__X] :
   (s__attribute(V__X,s__LoftStyle) =>
     (? [V__FLOOR,V__LOFT,V__CEILING] :
       (s__bottom(V__FLOOR,V__X)
       &
       s__top(V__CEILING,V__X)
     &
     s__instance(V__LOFT,s__StationaryArtifact) &
     s__orientation(V__LOFT,V__FLOOR,s__Above) &
     s__orientation(V__LOFT,V__CEILING,s__Below))))
)

Hotel.kif 1110-1118
( ! [V__X] :
   (s__attribute(V__X,s__LoftStyle) =>
     s__instance(V__X,s__StationaryArtifact))
   )

Hotel.kif 1106-1108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18417-18430
( ! [V__Estate] :
   (s__instance(V__Estate,s__RealEstate) =>
     (s__instance(V__Estate,s__StationaryArtifact) |
       s__instance(V__Estate,s__LandArea) |
       (? [V__Artifact,V__Area] :
         (s__instance(V__Artifact,s__StationaryArtifact) &
           s__instance(V__Area,s__LandArea) &
           (V__Estate = s__MereologicalSumFn(V__Artifact,V__Area))))))
)

FinancialOntology.kif 1301-1310
No TPTP formula. May not be expressible in strict first order. Geography.kif 2448-2463


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



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