International |
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 |
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 |