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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherGasolineStations

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 18103-18104
(subclass BiologicalAttribute InternalAttribute) Merge.kif 18102-18102

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


(instance Ambulatory BiologicalAttribute) Medicine.kif 387-387
(instance Bored BiologicalAttribute) Mid-level-ontology.kif 19851-19851
(instance Healthy BiologicalAttribute) Mid-level-ontology.kif 30305-30305
(instance Hungry BiologicalAttribute) Mid-level-ontology.kif 19814-19814
(instance LowBodyTemperature BiologicalAttribute) Medicine.kif 5640-5640
(instance Menopausal BiologicalAttribute) Mid-level-ontology.kif 23964-23964
(instance Pregnant BiologicalAttribute) Mid-level-ontology.kif 19866-19866
(instance Thirsty BiologicalAttribute) Mid-level-ontology.kif 19826-19826
(instance Tired BiologicalAttribute) Mid-level-ontology.kif 19839-19839
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 18156-18156
(subclass AuditoryAcuityAttribute BiologicalAttribute) Medicine.kif 1775-1775
(subclass BodyPosition BiologicalAttribute) Merge.kif 18121-18121
(subclass DevelopmentalAttribute BiologicalAttribute) Merge.kif 18214-18214
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 18290-18290
(subclass Fingerprint BiologicalAttribute) Mid-level-ontology.kif 12560-12560
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 18335-18335
(subclass SexAttribute BiologicalAttribute) Merge.kif 18183-18183
(subclass VisualAcuityAttribute BiologicalAttribute) Mid-level-ontology.kif 19759-19759
(termFormat ChineseLanguage BiologicalAttribute "生物属性") chinese_format.kif 1257-1257
(termFormat EnglishLanguage BiologicalAttribute "biological attribute") english_format.kif 1735-1735
(termFormat FrenchLanguage BiologicalAttribute "attribut biologique") french_format.kif 935-935
(termFormat Hindi BiologicalAttribute "jEvika visheshataa") terms-hindi.txt 471-471
(termFormat ItalianLanguage BiologicalAttribute "AttributoBiologico") terms-it.txt 474-474
(termFormat JapaneseLanguage BiologicalAttribute "生物学的属性") japanese_format.kif 2619-2619

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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


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

Show without tree


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