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 | International は 関係属性 の instance では %n |
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 |
|