TreeView Knowledge Base Browser - SwimmingPool

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

LiquefiedGasTankerShip

Sigma KEE - SwimmingPool

SwimmingPool(swimming pool)

natatorium, swimming_bath, swimming_pool

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4718-4719
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4833-4833
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4716-4716	Swimming pool is a subclass of fluid container
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4717-4717	Swimming pool is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26856-26856	Heated pool is a subclass of swimming pool
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56535-56535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56534-56534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56533-56533

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4729-4734	If a self connected object is an instance of swimming pool and the self connected object contains an object and the object is an instance of fluid, then the object is an instance of freshwater
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4721-4727	If a physical is an instance of swimming pool, then the physical has the purpose there exists an entity such that the entity is an instance of swimming and the entity is located at the physical

consequent

No TPTP formula. May not be expressible in strict first order.

naics.kif 11437-11442

If water theme park is an attribute of an agent,
then there exists an entity such that the entity is an instance of swimming pool and the entity is an element of belongings of the agent

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