| 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 27404-27405 | |
| (instance International RelationalAttribute) | Mid-level-ontology.kif 27403-27403 | International is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Domestic International) | Mid-level-ontology.kif 27388-27388 | Domestic is the opposite of international |
| (relatedInternalConcept Domestic International) | Mid-level-ontology.kif 27389-27389 | Domestic is internally related to international |
| (termFormat EnglishLanguage International "international") | Mid-level-ontology.kif 27406-27406 | 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 27408-27420 |
|
|
|
|