Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Mortal(mortal) |  | mortal |
| appearance as argument number 1 |
|
|
| (documentation Mortal EnglishLanguage "Subject to death.") | Mid-level-ontology.kif 26562-26562 | |
| (instance Mortal BiologicalAttribute) | Mid-level-ontology.kif 26564-26564 | Mortal is an instance of biological attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Mortal "mortal") | Mid-level-ontology.kif 26563-26563 |
| antecedent |
|
|
| (=> (attribute ?O Mortal) (and (instance ?O Organism) (capability Death experiencer ?O))) |
Mid-level-ontology.kif 26566-26570 | If mortal is an attribute of X, then X is an instance of organism and X is capable of doing death as a experiencer |
| consequent |
|
|
| (=> (instance ?O Organism) (attribute ?O Mortal)) |
Mid-level-ontology.kif 26572-26574 | If X is an instance of organism, then mortal is an attribute of X |
|