Local |
appearance as argument number 1 |
(documentation Local EnglishLanguage "Local refers to something within the same region or area") | Mid-level-ontology.kif 27103-27104 | |
(instance Local RelationalAttribute) | Mid-level-ontology.kif 27102-27102 | Local は 関係属性 の instance では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage Local "local") | Mid-level-ontology.kif 27105-27105 |
antecedent |
(=> (and (instance ?X TelephoneCommunication) (attribute ?X Local)) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (telephoneNumber ?TEL1 ?ORIGIN) (telephoneNumber ?TEL2 ?DEST) (telecomAreaCode ?CODE ?TEL1) (telecomAreaCode ?CODE ?TEL2)))) |
Mid-level-ontology.kif 27107-27118 |
|