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, absolute_pitch, absorption_factor, absorptivity, achromatic_vision, achromia, acned, acropetal, actinoid, actinomorphic, actinomorphous, active, activeness, activity, adiposeness, adiposis, adiposity, aerobic, aerobiotic, aerophilic, aerophilous, aestivation, affinity, agedness, agerasia, agnate, agnation, alto, altricial, anabiotic, anabolic, anaerobic, anaerobiotic, ancestor, ancestress, ancestry, anestrum, anestrus, anoestrum, anoestrus, antagonistic, antecedent, antidotal...

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 18210-18211
No TPTP formula. May not be expressible in strict first order. Merge.kif 18209-18209 Biological attribute is a subclass of internal attribute

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 375-375 Ambulatory is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21411-21411 Bored is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32199-32199 Healthy is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21358-21358 Hungry is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5651-5651 Low body temperature is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25553-25553 Menopause is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21426-21426 Pregnant is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21370-21370 Thirsty is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21383-21383 Tired is an instance of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18263-18263 Animacy attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1768-1768 Auditory acuity attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18228-18228 Body position is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18322-18322 Developmental attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18398-18398 Disease or syndrome is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13864-13864 Fingerprint is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25927-25927 Mortal is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18443-18443 Psychological attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 18290-18290 Sex attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21303-21303 Visual acuity attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1257-1257 Visual acuity attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. english_format.kif 1735-1735 Visual acuity attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. french_format.kif 935-935 Visual acuity attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 471-471 Visual acuity attribute is a subclass of biological attribute
No TPTP formula. May not be expressible in strict first order. terms-it.txt 474-474 Visual acuity attribute is a subclass of biological attribute

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18222-18226


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