International
|
|
appearance as argument number 1 |
(documentation International EnglishLanguage "International refers to something outside of the country") | Mid-level-ontology.kif 27138-27139 | |
(instance International RelationalAttribute) | Mid-level-ontology.kif 27137-27137 |
appearance as argument number 2 |
(termFormat EnglishLanguage International "international") | Mid-level-ontology.kif 27140-27140 |
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 27142-27154 |