|
|
  International
|
|
|
| appearance as argument number 1 |
|
|
| (documentation International EnglishLanguage "International refers to something outside of the country") | Mid-level-ontology.kif 27171-27172 | |
| (instance International RelationalAttribute) | Mid-level-ontology.kif 27170-27170 | 例 International and RelationalAttribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage International "international") | Mid-level-ontology.kif 27173-27173 |
| 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 27175-27187 |
|
|
|