Local
|
|
appearance as argument number 1 |
(documentation Local EnglishLanguage "Local refers to something within the same region or area") | Mid-level-ontology.kif 27091-27092 | |
(instance Local RelationalAttribute) | Mid-level-ontology.kif 27090-27090 | Local 是 关联属性 的 instance |
appearance as argument number 2 |
(termFormat EnglishLanguage Local "local") | Mid-level-ontology.kif 27093-27093 |
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 27095-27106 |
|