TreeView Knowledge Base Browser

appearance as argument number 1

(documentation PlantSubstance ChineseLanguage "这是只由 Plant 所产生的 BodySubstance。")	chinese_format.kif 3475-3475
(documentation PlantSubstance EnglishLanguage "BodySubstances that are produced exclusively by Plants.")	Merge.kif 14870-14871
(subclass PlantSubstance BodySubstance)	Merge.kif 14869-14869	PlantSubstance は体物質の subclass では %n

appearance as argument number 2

(subclass Alkaloid PlantSubstance)	Mid-level-ontology.kif 8670-8670	Alkaloid は PlantSubstance の subclass では %n
(subclass AloeveraGel PlantSubstance)	Economy.kif 6236-6236	AloeveraGel は PlantSubstance の subclass では %n
(subclass Cellulose PlantSubstance)	Mid-level-ontology.kif 9246-9246	Cellulose は PlantSubstance の subclass では %n
(subclass CocoaBean PlantSubstance)	Economy.kif 4687-4687	CocoaBean は PlantSubstance の subclass では %n
(subclass FleshOrPulp PlantSubstance)	Food.kif 2310-2310	FleshOrPulp は PlantSubstance の subclass では %n
(subclass Hay PlantSubstance)	Mid-level-ontology.kif 20426-20426	Hay は PlantSubstance の subclass では %n
(subclass Herb PlantSubstance)	Food.kif 2153-2153	Herb は PlantSubstance の subclass では %n
(subclass Nectar PlantSubstance)	Mid-level-ontology.kif 9258-9258	Nectar は PlantSubstance の subclass では %n
(subclass Opium PlantSubstance)	Mid-level-ontology.kif 9371-9371	Opium は PlantSubstance の subclass では %n
(subclass PeelOrRind PlantSubstance)	Food.kif 2296-2296	PeelOrRind は PlantSubstance の subclass では %n
(subclass PlantWicker PlantSubstance)	Mid-level-ontology.kif 4594-4594	PlantWicker は PlantSubstance の subclass では %n
(subclass Rubber PlantSubstance)	Mid-level-ontology.kif 9207-9207	Rubber は PlantSubstance の subclass では %n
(subclass TeaPlantAerialPart PlantSubstance)	Economy.kif 4707-4707	TeaPlantAerialPart は PlantSubstance の subclass では %n
(subclass Wood PlantSubstance)	Mid-level-ontology.kif 9189-9189	Wood は PlantSubstance の subclass では %n
(subclass WoodProduct PlantSubstance)	Economy.kif 5226-5226	WoodProduct は PlantSubstance の subclass では %n
(termFormat ChineseLanguage PlantSubstance "植物物质")	domainEnglishFormat.kif 46136-46136
(termFormat ChineseTraditionalLanguage PlantSubstance "植物物質")	domainEnglishFormat.kif 46135-46135
(termFormat EnglishLanguage PlantSubstance "plant substance")	domainEnglishFormat.kif 46134-46134

antecedent

(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))

Merge.kif 14873-14878

オブジェクトは PlantSubstance の instance では %n オブジェクトは物の instance では %n オブジェクトはオブジェクトの part では %n
オブジェクトは植物の instance では %n

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

KB Term:			Term intersection

English Word: