Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| International(international) |  | external, international, outside |
| appearance as argument number 1 |
|
|
| (instance International RelationalAttribute) | Mid-level-ontology.kif 29733-29733 | International is an instance of relational attribute |
| (documentation International EnglishLanguage "International refers to something outside of the country") | Mid-level-ontology.kif 29734-29735 | International is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (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 |
| (termFormat EnglishLanguage International "international") | Mid-level-ontology.kif 29736-29736 | Domestic is internally related to international |
| antecedent |
|
|
| (=> (and (instance ?X TelephoneCommunication) (attribute ?X International)) (exists (?ORIGIN ?DEST ?CTRY1 ?CTRY2) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (located ?ORIGIN ?CTRY1) (located ?DEST ?CTRY2) (instance ?CTRY1 Nation) (instance ?CTRY2 Nation) (not (equal ?CTRY1 ?CTRY2))))) |
Mid-level-ontology.kif 29738-29750 | If X is an instance of telephone communication and international is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X originates at Y (3) X ends up at Z (4) Y is located at W (5) Z is located at V (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V |
|