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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4004-4005
No TPTP formula. May not be expressible in strict first order. Merge.kif 16761-16762
No TPTP formula. May not be expressible in strict first order. Merge.kif 16760-16760 Biological attribute is a subclass of internal attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26504-26504 Healthy is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16325-16325 Hungry is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16350-16350 Pregnant is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16337-16337 Thirsty is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16814-16814 Animacy attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16779-16779 Body position is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16868-16868 Developmental attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16951-16951 Disease or syndrome is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9403-9403 Fingerprint is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16960-16960 Psychological attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 16841-16841 Sex attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16270-16270 VisualAcuityAttribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1257-1257
No TPTP formula. May not be expressible in strict first order. english_format.kif 1740-1740

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


No TPTP formula. May not be expressible in strict first order. 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