Local(local) | ![]() | local |
appearance as argument number 1 |
![]() |
(documentation Local EnglishLanguage "Local refers to something within the same region or area") | Mid-level-ontology.kif 29002-29003 | |
(instance Local RelationalAttribute) | Mid-level-ontology.kif 29001-29001 | Local is an instance of relational attribute |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Local "local") | Mid-level-ontology.kif 29004-29004 |
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 29006-29017 |
|
![]() |
![]() |