Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TelephoneCommunication
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (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 29701-29712 | If X is an instance of telephone communication and local is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that X originates at W (3) X ends up at V (4) Y is the telephone number of W (5) Z is the telephone number of V (6) the area code in Y is U (7) the area code in Z is U |
| (=> (and (instance ?X TelephoneCommunication) (attribute ?X Domestic)) (exists (?ORIGIN ?DEST ?COUNTRY) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (located ?ORIGIN ?COUNTRY) (located ?DEST ?COUNTRY) (instance ?COUNTRY Nation)))) |
Mid-level-ontology.kif 29721-29731 | If X is an instance of telephone communication and domestic is an attribute of X, then there exist Y, Z, W such that X originates at Y, X ends up at Z, Y is located at W, Z is located at W, and W is an instance of nation |
| (=> (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 29738-29750 | If X is an instance of telephone communication and international is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X originates at Y (3) X ends up at Z (4) Y is located at W (5) Z is located at V (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V |
| consequent |
|
|
| (=> (instance ?X DirectDialTelephoneCommunication) (not (exists (?OPERATOR) (and (instance ?OPERATOR Human) (hasPurpose ?OPERATOR (exists (?PROC) (and (agent ?PROC ?OPERATOR) (subProcess ?PROC ?X) (instance ?PROC TelephoneCommunication)))))))) |
Mid-level-ontology.kif 29672-29683 | If X is an instance of direct dial telephone communication, then there doesn't exist Y such that Y is an instance of human, Y has the purpose there exists Z such that Y is an agent of Z, Z is a subprocess of X, and Z is an instance of telephone communication |
| (=> (instance ?X VoiceMail) (exists (?TEL) (and (instance ?TEL TelephoneCommunication) (patient ?TEL ?X)))) |
Mid-level-ontology.kif 29689-29694 | If X is an instance of voice mail, then there exists Y such that Y is an instance of telephone communication and X is a patient of Y |
|