Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalAttribute
BiologicalAttribute

appearance as argument number 1
-------------------------


(documentation BiologicalAttribute ChineseLanguage "这是特别用于 Organism 实例的 Attribute。") chinese_format.kif 4004-4005
(documentation BiologicalAttribute EnglishLanguage "Attributes that apply specifically to instances of Organism.") Merge.kif 16761-16762
(subclass BiologicalAttribute InternalAttribute) Merge.kif 16760-16760

appearance as argument number 2
-------------------------


(instance Healthy BiologicalAttribute) Mid-level-ontology.kif 28469-28469
(instance Hungry BiologicalAttribute) Mid-level-ontology.kif 17603-17603
(instance Pregnant BiologicalAttribute) Mid-level-ontology.kif 17628-17628
(instance Thirsty BiologicalAttribute) Mid-level-ontology.kif 17615-17615
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 16814-16814
(subclass BodyPosition BiologicalAttribute) Merge.kif 16779-16779
(subclass DevelopmentalAttribute BiologicalAttribute) Merge.kif 16868-16868
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 16951-16951
(subclass Fingerprint BiologicalAttribute) Mid-level-ontology.kif 10252-10252
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 16960-16960
(subclass SexAttribute BiologicalAttribute) Merge.kif 16841-16841
(subclass VisualAcuityAttribute BiologicalAttribute) Mid-level-ontology.kif 17541-17541
(termFormat ChineseLanguage BiologicalAttribute "生物属性") chinese_format.kif 1257-1257
(termFormat EnglishLanguage BiologicalAttribute "biological attribute") english_format.kif 1740-1740

antecedent
-------------------------


(=>
    (and
        (attribute ?ORG ?ATT)
        (instance ?ATT BiologicalAttribute))
    (instance ?ORG OrganicObject))		 Merge.kif 16773-16777


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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