| International(international) | | external, international, outside |
| appearance as argument number 1 |
|
|
| (documentation International EnglishLanguage "International refers to something outside of the country") | Mid-level-ontology.kif 28235-28236 | |
| (instance International RelationalAttribute) | Mid-level-ontology.kif 28234-28234 | International is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Domestic International) | Mid-level-ontology.kif 28219-28219 | Domestic is the opposite of international |
| (relatedInternalConcept Domestic International) | Mid-level-ontology.kif 28220-28220 | Domestic is internally related to international |
| (termFormat EnglishLanguage International "international") | Mid-level-ontology.kif 28237-28237 | 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 28239-28251 |
|
|
|
|