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 15453-15456
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 15452-15452 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 15632-15632 Clothing is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 15611-15611 Fabric is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3587-3587 ATM machine is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14848-14848 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 15470-15470 Building is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14863-14863 Building level is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19887-19887 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 14800-14800 Ceiling is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14501-14501 Chimney is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25407-25407 Courtyard is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14515-14515 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 26228-26228 Dance hall is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14754-14754 Doorway is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22022-22022 Educational facility is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15180-15180 Farm is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15118-15118 Fence 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 6371-6371 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 20143-20143 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 20158-20158 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 6363-6363 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 19872-19872 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 12602-12607
No TPTP formula. May not be expressible in strict first order. Merge.kif 15458-15468

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12596-12600
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 20164-20177
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1358-1367
No TPTP formula. May not be expressible in strict first order. Geography.kif 2522-2537


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