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 27126-27127 | |
(instance International RelationalAttribute) | Mid-level-ontology.kif 27125-27125 | International is an instance of relational attribute |
appearance as argument number 2 |
(termFormat EnglishLanguage International "international") | Mid-level-ontology.kif 27128-27128 |
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 27130-27142 |
|