Property:Ro:contained in

AUTO-TRANSLATED FROM THE ORIGINAL ONTOLOGY. PLEASE DO NOT MODIFY

direct description

[inferred] imported from: ro:contained_in (ro)
[inferred] member of: http://www.obofoundry.org/ro/ro.owl
[inferred] tag: Category:owl:ObjectProperty
[original] oboInOwl:hasAlternativeId: OBO_REL:0000010
[original] oboInOwl:hasOBONamespace: relationship
[original] owl:inverseOf: Property:ro:contains
[original] rdf:type: Category:owl:ObjectProperty
[original] rdfs:comment: Containment obtains in each case between material and immaterial continuants, for instance: lung contained_in thoracic cavity; bladder contained_in pelvic cavity. Hence containment is not a transitive relation. If c part_of c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c located_in c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c part_of c1 at t and c part_of c2 at t. The containment relation on the instance level can then be defined (see definition):
[original] rdfs:label: contained_in
see also MediaWiki:smw_import_ro

Showing 0 pages using this property.

Imported fromThis property is a special property in this wiki.	ro:contained_in (ro) +
Member of	Http://www.obofoundry.org/ro/ro.owl +
OboInOwl:hasAlternativeId	OBO REL:0000010 +
OboInOwl:hasOBONamespace	Relationship +
Owl:inverseOf	Ro:contains +
Rdf:type	Owl:ObjectProperty +
Rdfs:comment	Containment obtains in each case between m … Containment obtains in each case between material and immaterial continuants, for instance: lung contained_in thoracic cavity; bladder contained_in pelvic cavity. Hence containment is not a transitive relation. If c part_of c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c located_in c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c part_of c1 at t and c part_of c2 at t. The containment relation on the instance level can then be defined (see definition): evel can then be defined (see definition):
Rdfs:label	contained_in
Tag	Owl:ObjectProperty +