Sigma KB Term Intersection

(=> (instance ?OBJ CorpuscularObject) (exists (?SUBSTANCE1 ?SUBSTANCE2) (and (subclass ?SUBSTANCE1 Substance) (subclass ?SUBSTANCE2 Substance) (material ?SUBSTANCE1 ?OBJ) (material ?SUBSTANCE2 ?OBJ) (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))	Merge.kif 1231-1239	Wenn CorpuscularObject ist ein fall von CorpuscularObject %n{nicht}, dann es gibt Substance und Substance um Substance ist eine teilkategorie von Substance und Substance ist eine teilkategorie von Substance und Substance ist von CorpuscularObject gebildet und Substance ist von CorpuscularObject gebildet und Substance ist gleich Substance nicht
(subclass CorpuscularObject SelfConnectedObject)	Merge.kif 1226-1226	CorpuscularObject ist eine teilkategorie von SelfConnectedObject
(subclass Sonar CorpuscularObject)	Mid-level-ontology.kif 2612-2612	Sonar ist eine teilkategorie von CorpuscularObject
(subclass Bubble CorpuscularObject)	Mid-level-ontology.kif 5000-5000	Bubble ist eine teilkategorie von CorpuscularObject
(subclass Nest CorpuscularObject)	Mid-level-ontology.kif 5027-5027	Nest ist eine teilkategorie von CorpuscularObject
(subclass Organelle CorpuscularObject)	Mid-level-ontology.kif 10118-10118	Organelle ist eine teilkategorie von CorpuscularObject
(subclass ContentBearingObject CorpuscularObject)	Merge.kif 1327-1327	ContentBearingObject ist eine teilkategorie von CorpuscularObject
(subclass OrganicObject CorpuscularObject)	Merge.kif 14346-14346	OrganicObject ist eine teilkategorie von CorpuscularObject
(subclass RealEstate CorpuscularObject)	FinancialOntology.kif 1356-1356	RealEstate ist eine teilkategorie von CorpuscularObject

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