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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StationaryArtifact
StationaryArtifact(stationary artifact)
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15721-15722
No TPTP formula. May not be expressible in strict first order. Merge.kif 15717-15720
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1257-1257 "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ af/ All_Gizah_Pyramids.jpg/ 300px-All_Gizah_Pyramids.jpg" is a URL depicting stationary artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15716-15716 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 15932-15932 Clothing is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15906-15906 Fabric is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1231-1231 Distillery is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3474-3474 ATM machine is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12805-12805 Balcony is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1996-1996 Barrier is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Offers.kif 305-305 BotanicalGarden is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Sports.kif 990-990 Bowling lane is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1562-1562 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 15736-15736 Building is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12820-12820 Building level is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5256-5256 Canal is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1635-1635 Canal lock is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5269-5269 Canal structure is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1383-1383 Casino is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12759-12759 Ceiling is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12467-12467 Chimney is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23561-23561 Courtyard is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12480-12480 Curb is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5274-5274 Dam is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24576-24576 Dance hall is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12713-12713 Doorway is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20025-20025 Educational facility is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1122-1122 Factory 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 6364-6364 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 18036-18036 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 18050-18050 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 6329-6329 The number 1 argument of human capacity is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. Hotel.kif 449-449 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 15724-15734

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12619-12624 There exists a process such that the process is an instance of constructing and an entity is a result of the process if and only if the entity is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1110-1118
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1106-1108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18056-18069
No TPTP formula. May not be expressible in strict first order. 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