| Telephoning(telephoning)
| | call, call-in, call_up, cell_phone, phone, ring, telephone |
| appearance as argument number 1 |
|
|
| (subclass Telephoning Communication) | Mid-level-ontology.kif 3439-3439 | Telephoning is a subclass of communication |
| (documentation Telephoning EnglishLanguage "A Telephoning is a Communication in which the instrument is a Telephone, and which typically includes an instance of Speaking as a subProcess.") | Mid-level-ontology.kif 3441-3444 | Telephoning is a subclass of communication |
| (externalImage Telephoning "http://articulatesoftware.com/SUMOpictures/telephone/ call.png") | pictureList.kif 312-312 | Telephoning is a subclass of communication |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TEL Telephoning) (exists (?DEVICE) (and (instance ?DEVICE Telephone) (instrument ?TEL ?DEVICE)))) |
Mid-level-ontology.kif 3446-3451 | If X is an instance of telephoning, then there exists Y such that Y is an instance of telephone and Y is an instrument for X |
| (=> (instance ?TEL Telephoning) (exists (?SPEAK ?AGENT) (and (instance ?SPEAK Speaking) (subProcess ?SPEAK ?TEL) (=> (agent ?TEL ?AGENT) (agent ?SPEAK ?AGENT))))) |
Mid-level-ontology.kif 3453-3461 | If X is an instance of telephoning, then there exist Y, Z such that Y is an instance of speaking, Y is a subprocess of X, and Z is an agent of XZ is an agent of Y |
| consequent |
|
|
| (=> (and (instance ?H Hotline) (telephoneNumber ?H ?O) (instance ?O Organization)) (hasPurpose ?H (exists (?T) (and (instance ?T Telephoning) (destination ?T ?O) (modalAttribute (exists (?C) (and (instance ?C Communication) (instrument ?C ?H) (equal (BeginFn (WhenFn ?C)) (BeginFn (ImmediateFutureFn (WhenFn ?T)))))) Likely))))) |
Mid-level-ontology.kif 27492-27513 | If X is an instance of hotline, X is the telephone number of Y, and Y is an instance of organization, then X has the purpose there exists Z such that Z is an instance of telephoning, Z ends up at Y, the statement there exists W such that W is an instance of communication, X is an instrument for W, equal the beginning of the time of existence of W, and the beginning of immediately after the time of existence of Z has the modal force of likely |
| (=> (instance ?TDD TDDPhone) (hasPurpose ?TDD (exists (?AGENT ?PHONING) (and (instance ?PHONING Telephoning) (instrument ?PHONING ?TDD) (agent ?PHONING ?AGENT) (attribute ?AGENT Deaf))))) |
Mid-level-ontology.kif 28949-28957 | If X is an instance of TDD phone, then X has the purpose there exist Y, Z such that Z is an instance of telephoning, X is an instrument for Z, Y is an agent of Z, and deafness is an attribute of Y |
| (=> (dayPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 6) (lessThan ?Num 18) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3709-3729 | If X is a day phone of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a phone number of Y (3) V is greater than 6 (4) V is less than 18 (5) there exists U such that U is an instance of telephoning (6) U ends up at X (7) Z is a patient of U (8) X possesses Z (9) the statement there exists T such that T is an instance of answering (10) T is a subprocess of U (11) X is an agent of T has the modal force of likely holds during W is an instance of the hour V |
| (=> (eveningPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 18) (lessThan ?Num 6) (holdsDuring (instance ?Hour (HourFn ?Num Day)) (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3753-3773 | If X is an evening phone of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a phone number of Y (3) V is greater than 18 (4) V is less than 6 (5) there exists U such that U is an instance of telephoning (6) U ends up at X (7) Z is a patient of U (8) X possesses Z (9) the statement there exists T such that T is an instance of answering (10) T is a subprocess of U (11) X is an agent of T has the modal force of likely holds during W is an instance of the hour V |
|
|
|