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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StationaryArtifact

Sigma KEE - StationaryArtifact
StationaryArtifact(stationary artifact)
Amphitheatrum_Flavium, Antonine_Wall, 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, Mausoleum_at_Halicarnasus, Minato_Ohashi_Bridge...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3584-3585
No TPTP formula. May not be expressible in strict first order. Merge.kif 15440-15443
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1257-1257
No TPTP formula. May not be expressible in strict first order. Merge.kif 15439-15439 Stationary artifact is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15619-15619 Clothing is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15598-15598 Fabric is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14824-14824 Balcony is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1997-1997 Barrier is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Sports.kif 1068-1068 Bowling lane is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1619-1619 Bridge is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Communications.kif 218-218 Broadcasting station is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15457-15457 Building is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14839-14839 Building level is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19863-19863 BuildingUnit is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5491-5491 Canal is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1692-1692 Canal lock is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5504-5504 Canal structure is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1414-1414 Casino is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14776-14776 Ceiling is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14477-14477 Chimney is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25383-25383 Courtyard is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14491-14491 Curb is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5509-5509 Dam is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26204-26204 Dance hall is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14730-14730 Doorway is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21998-21998 Educational facility is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15156-15156 Farm is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15094-15094 Fence is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14797-14797 Fireplace is a subclass of stationary artifact

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6367-6367 The number 1 argument of street address is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20119-20119 The number 1 argument of construction period is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20134-20134 The number 1 argument of contractor is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6359-6359 The number 1 argument of human capacity is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19848-19848 The number 2 argument of workLocation is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. Hotel.kif 456-456 The number 1 argument of maximum capacity is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12596-12601
No TPTP formula. May not be expressible in strict first order. Merge.kif 15445-15455

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12590-12594
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1135-1143
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1131-1133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20140-20153
No TPTP formula. May not be expressible in strict first order. Geography.kif 2522-2537


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