Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AnimacyAttribute(animacy attribute) |  | breathless, cold, deathlike, deathly, inanimate, pulseless |
| appearance as argument number 1 |
|
|
| s__subclass(s__AnimacyAttribute,s__BiologicalAttribute)
|
Merge.kif 18417-18417 | Animacy attribute is a subclass of biological attribute |
| s__exhaustiveAttribute(s__AnimacyAttribute,s__Living,s__Dead)
|
Merge.kif 18418-18418 | Living are all the attributes of animacy attribute |
| s__documentation(s__AnimacyAttribute, s__EnglishLanguage, "Attributes that indicate whether an Organism is alive or not_") | Merge.kif 18419-18420 | Living are all the attributes of animacy attribute |
| appearance as argument number 2 |
|
|
| s__instance(s__Living,s__AnimacyAttribute)
|
Merge.kif 18421-18421 | Living is an instance of animacy attribute |
| s__instance(s__Dead,s__AnimacyAttribute)
|
Merge.kif 18431-18431 | Dead is an instance of animacy attribute |
| s__termFormat(s__EnglishLanguage, s__AnimacyAttribute, "animacy attribute") | english_format.kif 1741-1741 | Dead is an instance of animacy attribute |
| consequent |
|
|
| ! [V__ORG] : ((s__instance(V__ORG,s__Organism) => (? [V__ATTR] : ((s__instance(V__ATTR,s__AnimacyAttribute) & s__attribute(V__ORG,V__ATTR))))) )
|
Merge.kif 18437-18442 | If X is an instance of organism, then there exists Y such that Y is an instance of animacy attribute and Y is an attribute of X |
|