Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Domestic(domestic) |  | domestic |
| appearance as argument number 1 |
|
|
| (instance Domestic RelationalAttribute) | Mid-level-ontology.kif 29714-29714 | Domestic is an instance of relational attribute |
| (documentation Domestic EnglishLanguage "Domestic refers to something within the same Nation") | Mid-level-ontology.kif 29715-29716 | Domestic is an instance of relational attribute |
| (contraryAttribute Domestic International) | Mid-level-ontology.kif 29718-29718 | Domestic is the opposite of international |
| (relatedInternalConcept Domestic International) | Mid-level-ontology.kif 29719-29719 | Domestic is internally related to international |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Domestic "domestic") | Mid-level-ontology.kif 29717-29717 |
| antecedent |
|
|
| (=> (and (instance ?X TelephoneCommunication) (attribute ?X Domestic)) (exists (?ORIGIN ?DEST ?COUNTRY) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (located ?ORIGIN ?COUNTRY) (located ?DEST ?COUNTRY) (instance ?COUNTRY Nation)))) |
Mid-level-ontology.kif 29721-29731 | If X is an instance of telephone communication and domestic is an attribute of X, then there exist Y, Z, W such that X originates at Y, X ends up at Z, Y is located at W, Z is located at W, and W is an instance of nation |
|