Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  grainSize
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AnimacyAttribute BiologicalAttribute) | Merge.kif 18417-18417 | Animacy attribute is a subclass of biological attribute |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18418-18418 | Living are all the attributes of animacy attribute |
| (documentation AnimacyAttribute 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 |
|
|
| (instance Living AnimacyAttribute) | Merge.kif 18421-18421 | Living is an instance of animacy attribute |
| (instance Dead AnimacyAttribute) | Merge.kif 18431-18431 | Dead is an instance of animacy attribute |
| (termFormat EnglishLanguage AnimacyAttribute "animacy attribute") | english_format.kif 1741-1741 | Dead is an instance of animacy attribute |
| consequent |
|
|
| (=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR AnimacyAttribute) (attribute ?ORG ?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 |
|