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 OrganicObject (Organism or AnatomicalStructure).") Merge.kif 17866-17867
(subclass BiologicalAttribute InternalAttribute) Merge.kif 17865-17865

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


(instance Bored BiologicalAttribute) Mid-level-ontology.kif 19606-19606
(instance Healthy BiologicalAttribute) Mid-level-ontology.kif 30197-30197
(instance Hungry BiologicalAttribute) Mid-level-ontology.kif 19569-19569
(instance Menopausal BiologicalAttribute) Mid-level-ontology.kif 23872-23872
(instance Pregnant BiologicalAttribute) Mid-level-ontology.kif 19621-19621
(instance Thirsty BiologicalAttribute) Mid-level-ontology.kif 19581-19581
(instance Tired BiologicalAttribute) Mid-level-ontology.kif 19594-19594
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 17919-17919
(subclass BodyPosition BiologicalAttribute) Merge.kif 17884-17884
(subclass DevelopmentalAttribute BiologicalAttribute) Merge.kif 17973-17973
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 18049-18049
(subclass Fingerprint BiologicalAttribute) Mid-level-ontology.kif 12381-12381
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 18093-18093
(subclass SexAttribute BiologicalAttribute) Merge.kif 17946-17946
(subclass VisualAcuityAttribute BiologicalAttribute) Mid-level-ontology.kif 19514-19514
(termFormat ChineseLanguage BiologicalAttribute "生物属性") chinese_format.kif 1257-1257
(termFormat EnglishLanguage BiologicalAttribute "biological attribute") english_format.kif 1735-1735

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


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


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