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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalAttribute
BiologicalAttribute(biological attribute)Jnr, Jr, Junior, Rh_incompatibility, Siamese_twin, X-linked_dominant_inheritance, X-linked_recessive_inheritance, abdominousness, abducent, abducting, absolute_pitch, absorption_factor, absorptivity, achromatic_vision, achromia, acned, acropetal, actinoid, actinomorphic, actinomorphous, active, activeness, activity, adducent, adducting, adductive, adiposeness, adiposis, adiposity, aerobic, aerobiotic, aerophilic, aerophilous, aestivation, affinity, agedness, agerasia, agnate, agnation, alto, altricial, anabiotic, anabolic, anaerobic, anaerobiotic, ancestor, ancestress, ancestry, anestrum, anestrus...

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


s__documentation(s__BiologicalAttribute,s__ChineseLanguage,'"这是特别用于 Organism 实例的 Attribute。"')

chinese_format.kif 4004-4005
s__documentation(s__BiologicalAttribute,s__EnglishLanguage,'"Attributes that apply specifically to instances of Organism."')

Merge.kif 17203-17204
s__instance(s__BiologicalAttribute,s__SetOrClass)

s__subclass(s__BiologicalAttribute,s__InternalAttribute)

s__instance(s__InternalAttribute,s__SetOrClass)

Merge.kif 17202-17202 Biological attribute is a subclass of internal attribute

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


s__instance(s__BiologicalAttribute,s__SetOrClass)

s__instance(s__Healthy,s__BiologicalAttribute)

Mid-level-ontology.kif 28420-28420 Healthy is an instance of biological attribute
s__instance(s__Hungry,s__BiologicalAttribute)

s__instance(s__BiologicalAttribute,s__SetOrClass)

Mid-level-ontology.kif 17923-17923 Hungry is an instance of biological attribute
s__instance(s__Menopausal,s__BiologicalAttribute)

s__instance(s__BiologicalAttribute,s__SetOrClass)

Mid-level-ontology.kif 22117-22117 Menopause is an instance of biological attribute
s__instance(s__BiologicalAttribute,s__SetOrClass)

s__instance(s__Pregnant,s__BiologicalAttribute)

Mid-level-ontology.kif 17948-17948 Pregnant is an instance of biological attribute
s__instance(s__BiologicalAttribute,s__SetOrClass)

s__instance(s__Thirsty,s__BiologicalAttribute)

Mid-level-ontology.kif 17935-17935 Thirsty is an instance of biological attribute
s__subclass(s__AnimacyAttribute,s__BiologicalAttribute)

s__instance(s__AnimacyAttribute,s__SetOrClass)

s__instance(s__BiologicalAttribute,s__SetOrClass)

Merge.kif 17256-17256 Animacy attribute is a subclass of biological attribute
s__subclass(s__BodyPosition,s__BiologicalAttribute)

s__instance(s__BiologicalAttribute,s__SetOrClass)

s__instance(s__BodyPosition,s__SetOrClass)

Merge.kif 17221-17221 Body position is a subclass of biological attribute
s__instance(s__BiologicalAttribute,s__SetOrClass)

s__subclass(s__DevelopmentalAttribute,s__BiologicalAttribute)

s__instance(s__DevelopmentalAttribute,s__SetOrClass)

Merge.kif 17310-17310 Developmental attribute is a subclass of biological attribute
s__subclass(s__DiseaseOrSyndrome,s__BiologicalAttribute)

s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__BiologicalAttribute,s__SetOrClass)

Merge.kif 17393-17393 Disease or syndrome is a subclass of biological attribute
s__instance(s__BiologicalAttribute,s__SetOrClass)

s__subclass(s__Fingerprint,s__BiologicalAttribute)

s__instance(s__Fingerprint,s__SetOrClass)

Mid-level-ontology.kif 10934-10934 Fingerprint is a subclass of biological attribute
s__subclass(s__PsychologicalAttribute,s__BiologicalAttribute)

s__instance(s__PsychologicalAttribute,s__SetOrClass)

s__instance(s__BiologicalAttribute,s__SetOrClass)

Merge.kif 17410-17410 Psychological attribute is a subclass of biological attribute
s__instance(s__SexAttribute,s__SetOrClass)

s__instance(s__BiologicalAttribute,s__SetOrClass)

s__subclass(s__SexAttribute,s__BiologicalAttribute)

Merge.kif 17283-17283 Sex attribute is a subclass of biological attribute
s__instance(s__VisualAcuityAttribute,s__SetOrClass)

s__instance(s__BiologicalAttribute,s__SetOrClass)

s__subclass(s__VisualAcuityAttribute,s__BiologicalAttribute)

Mid-level-ontology.kif 17868-17868 VisualAcuityAttribute is a subclass of biological attribute
s__termFormat(s__ChineseLanguage,s__BiologicalAttribute,'"生物属性"')

chinese_format.kif 1257-1257
s__termFormat(s__EnglishLanguage,s__BiologicalAttribute,'"biological attribute"')

english_format.kif 1740-1740

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


( ! [V__ORG,V__ATT] :
   ((s__instance(V__ORG,s__Object) =>
       (((s__attribute(V__ORG,V__ATT)
           &
           s__instance(V__ATT,s__BiologicalAttribute))
         =>
         (s__instance(V__ORG,s__OrganicObject)))))
   )
)

Merge.kif 17215-17219


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