Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| siteForContact |
| appearance as argument number 1 |
|
| (instance siteForContact AsymmetricRelation) | Mid-level-ontology.kif 26882-26882 | site for contact is an instance of asymmetric relation |
| (instance siteForContact BinaryPredicate) | Mid-level-ontology.kif 26883-26883 | site for contact is an instance of binary predicate |
| (domain siteForContact 1 ContactSite) | Mid-level-ontology.kif 26884-26884 | The number 1 argument of site for contact is an instance of contact site |
| (domain siteForContact 2 AutonomousAgent) | Mid-level-ontology.kif 26885-26885 | The number 2 argument of site for contact is an instance of agent |
| (documentation siteForContact EnglishLanguage "(siteForContact ?ContactSite ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be reached at or via the point of contact ?ContactSite.") | Mid-level-ontology.kif 26886-26889 | The number 2 argument of site for contact is an instance of agent |
| appearance as argument number 2 |
|
|
| (subrelation postContactSite siteForContact) | Mid-level-ontology.kif 26899-26899 | post contact site is a subrelation of site for contact |
| (subrelation telecomContactDevice siteForContact) | Mid-level-ontology.kif 27148-27148 | telecom contact device is a subrelation of site for contact |
| (format EnglishLanguage siteForContact "%2 can be contacted at %1") | domainEnglishFormat.kif 4532-4532 | telecom contact device is a subrelation of site for contact |
| (format ChineseTraditionalLanguage siteForContact "%2 能是 contacted 在 %1 ") | domainEnglishFormat.kif 4533-4533 | telecom contact device is a subrelation of site for contact |
| (format ChineseLanguage siteForContact "%2 能是 contacted 在 %1 ") | domainEnglishFormat.kif 4534-4534 | telecom contact device is a subrelation of site for contact |
| (termFormat EnglishLanguage siteForContact "site for contact") | domainEnglishFormat.kif 65971-65971 | telecom contact device is a subrelation of site for contact |
| consequent |
|
|
| (=> (telephoneNumber ?NUMBER ?AGENT) (siteForContact ?NUMBER ?AGENT)) |
Mid-level-ontology.kif 27273-27275 | If X is the telephone number of Y, then Y can be contacted at X |
| (=> (instance ?X TelephoneCommunication) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (siteForContact ?ORIGIN ?TEL1) (siteForContact ?DEST ?TEL2) (instance ?TEL1 Telephone) (instance ?TEL2 Telephone) (instrument ?X ?TEL1) (instrument ?X ?TEL2)))) |
Mid-level-ontology.kif 29621-29632 | If X is an instance of telephone communication, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X originates at W (3) X ends up at V (4) Y can be contacted at W (5) Z can be contacted at V (6) Y is an instance of telephone (7) Z is an instance of telephone (8) Y is an instrument for X (9) Z is an instrument for X |
|