| 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 28798-28799 | |
| (instance International RelationalAttribute) | Mid-level-ontology.kif 28797-28797 | International is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Domestic International) | Mid-level-ontology.kif 28782-28782 | Domestic is the opposite of international |
| (relatedInternalConcept Domestic International) | Mid-level-ontology.kif 28783-28783 | Domestic is internally related to international |
| (termFormat EnglishLanguage International "international") | Mid-level-ontology.kif 28800-28800 | 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 28802-28814 |
|
|
|
|