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, 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 14551-14554
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 14550-14550 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 14730-14730 Clothing is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14709-14709 Fabric is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3481-3481 ATM machine is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13117-13117 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 992-992 Bowling lane is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1604-1604 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 14568-14568 Building is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13132-13132 Building level is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5270-5270 Canal is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1677-1677 Canal lock is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5283-5283 Canal structure is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1387-1387 Casino is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13071-13071 Ceiling is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12779-12779 Chimney is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24067-24067 Courtyard is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12792-12792 Curb is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Geography.kif 5288-5288 Dam is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25082-25082 Dance hall is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13025-13025 Doorway is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20509-20509 Educational facility is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13434-13434 Farm is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13374-13374 Fence is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13091-13091 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 6373-6373 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 18509-18509 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 18523-18523 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 6338-6338 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 452-452 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 14556-14566

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11872-11877 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 1114-1122
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1110-1112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18529-18542
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1300-1309
No TPTP formula. May not be expressible in strict first order. Geography.kif 2460-2475


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