TreeView Knowledge Base Browser - interiorPart

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - interiorPart

interiorPart

appearance as argument number 1

(documentation interiorPart ChineseLanguage "(interiorPart ?OBJ1 ?OBJ2)的意思是 ?OBJ1 是 ?OBJ2 的部分，而 ?OBJ1 和 ?OBJ2 的任何 superficialPart 之间并没有重叠的部分。")	chinese_format.kif 2841-2842
(documentation interiorPart EnglishLanguage "(interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2.")	Merge.kif 9597-9599
(instance interiorPart AsymmetricRelation)	Merge.kif 9595-9595	interior part is an instance of asymmetric relation
(instance interiorPart TransitiveRelation)	Merge.kif 9596-9596	interior part is an instance of transitive relation
(subrelation interiorPart part)	Merge.kif 9594-9594	interior part is a subrelation of part

appearance as argument number 2

(format ChineseLanguage interiorPart "%1 %n 是 %2 的 interiorPart")	chinese_format.kif 375-375
(format EnglishLanguage interiorPart "%1 is %n a interior part of %2")	english_format.kif 376-376
(termFormat ChineseLanguage interiorPart "内在部分")	chinese_format.kif 376-376
(termFormat ChineseLanguage interiorPart "内饰部分")	domainEnglishFormat.kif 30438-30438
(termFormat ChineseTraditionalLanguage interiorPart "內飾部分")	domainEnglishFormat.kif 30437-30437
(termFormat EnglishLanguage interiorPart "interior part")	domainEnglishFormat.kif 30436-30436

antecedent

(=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas))	Mid-level-ontology.kif 4732-4736	If an entity is an instance of bubble and an object is a interior part of the entity, then gas is an attribute of the object
(=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART)))))	Merge.kif 9601-9607	If an object is a interior part of another object, then for all a third object if the third object is a superficial part of the other object, then the object and the third object is not overlapsSpatially

consequent

(=> (instance ?INSIDE Inside) (exists (?OBJECT) (forall (?THING) (=> (located ?THING ?INSIDE) (exists (?PART) (and (interiorPart ?PART ?OBJECT) (located ?THING ?PART)))))))	Mid-level-ontology.kif 8697-8706	If an object is an instance of inside, then there exists an entity such that for all a physical if the physical is located at the object, then there exists another object such that the other object is a interior part of the entity and the physical is located at the other object
(=> (instance ?MEMBRANE CellMembraneInternal) (exists (?CELL) (and (instance ?CELL Cell) (interiorPart ?MEMBRANE ?CELL))))	VirusProteinAndCellPart.kif 435-440	If an object is an instance of cell membrane internal, then there exists an entity such that the entity is an instance of cell and the object is a interior part of the entity
(=> (instance ?OBJ1 EukaryoticCell) (exists (?OBJ2) (and (interiorPart ?OBJ2 ?OBJ1) (instance ?OBJ2 CellNucleus))))	VirusProteinAndCellPart.kif 332-337	If an entity is an instance of eukaryotic cell, then there exists an object such that the object is a interior part of the entity and the object is an instance of cell nucleus
(=> (instance ?S Skeleton) (exists (?A) (and (instance ?A Animal) (interiorPart ?S ?A))))	Mid-level-ontology.kif 11143-11148	If an object is an instance of skeleton, then there exists an entity such that the entity is an instance of animal and the object is a interior part of the entity
(=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR))))	VirusProteinAndCellPart.kif 665-670	If an entity is an instance of vaccinia virion, then there exists an object such that the object is an instance of virus core envelope and the object is a interior part of the entity
(=> (superficialPart ?OBJ1 ?OBJ2) (and (not (interiorPart ?OBJ1 ?OBJ2)) (not (exists (?OBJ3) (interiorPart ?OBJ3 ?OBJ1)))))	Merge.kif 9567-9574	If an object is a superficial part of another object, then the object is not a interior part of the other object and there doesn't exist a third object such that the third object is a interior part of the object

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