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 14824-14825
(subclass PlantSubstance BodySubstance)	Merge.kif 14823-14823	PlantSubstance は体物質の subclass では %n

appearance as argument number 2

(subclass Alkaloid PlantSubstance)	Mid-level-ontology.kif 8643-8643	Alkaloid は PlantSubstance の subclass では %n
(subclass AloeveraGel PlantSubstance)	Economy.kif 6236-6236	AloeveraGel は PlantSubstance の subclass では %n
(subclass Cellulose PlantSubstance)	Mid-level-ontology.kif 9219-9219	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 20399-20399	Hay は PlantSubstance の subclass では %n
(subclass Herb PlantSubstance)	Food.kif 2153-2153	Herb は PlantSubstance の subclass では %n
(subclass Nectar PlantSubstance)	Mid-level-ontology.kif 9231-9231	Nectar は PlantSubstance の subclass では %n
(subclass Opium PlantSubstance)	Mid-level-ontology.kif 9344-9344	Opium は PlantSubstance の subclass では %n
(subclass PeelOrRind PlantSubstance)	Food.kif 2296-2296	PeelOrRind は PlantSubstance の subclass では %n
(subclass PlantWicker PlantSubstance)	Mid-level-ontology.kif 4599-4599	PlantWicker は PlantSubstance の subclass では %n
(subclass Rubber PlantSubstance)	Mid-level-ontology.kif 9180-9180	Rubber は PlantSubstance の subclass では %n
(subclass TeaPlantAerialPart PlantSubstance)	Economy.kif 4707-4707	TeaPlantAerialPart は PlantSubstance の subclass では %n
(subclass Wood PlantSubstance)	Mid-level-ontology.kif 9162-9162	Wood は PlantSubstance の subclass では %n
(subclass WoodProduct PlantSubstance)	Economy.kif 5226-5226	WoodProduct は PlantSubstance の subclass では %n
(termFormat ChineseLanguage PlantSubstance "植物物质")	domainEnglishFormat.kif 46134-46134
(termFormat ChineseTraditionalLanguage PlantSubstance "植物物質")	domainEnglishFormat.kif 46133-46133
(termFormat EnglishLanguage PlantSubstance "plant substance")	domainEnglishFormat.kif 46132-46132

antecedent

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

Merge.kif 14827-14832

オブジェクトは 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: