Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Inhabitant |  |
| appearance as argument number 1 |
|
|
| (documentation Inhabitant EnglishLanguage "A person or animal that lives in or occupies a place.") | Mid-level-ontology.kif 33048-33048 | |
| (instance Inhabitant Organism) | Mid-level-ontology.kif 33049-33049 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Inhabitant "inhabitant") | Mid-level-ontology.kif 33050-33050 |
| antecedent |
|
|
| (=> (instance ?I Inhabitant) (exists (?L) (and (instance ?L Object) (inhabits ?I ?L)))) |
Mid-level-ontology.kif 33052-33057 |
| consequent |
|
|
| (<=> (inhabits ?I ?L) (instance ?I Inhabitant)) |
Mid-level-ontology.kif 33059-33061 |
|