| Telephoning
| |
| appearance as argument number 1 |
|
|
| (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 2954-2957 | |
| (externalImage Telephoning "http://articulatesoftware.com/SUMOpictures/telephone/ call.png") | pictureList.kif 312-312 | |
| (subclass Telephoning Communication) | Mid-level-ontology.kif 2952-2952 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Telephoning "致电") | domainEnglishFormat.kif 57369-57369 | |
| (termFormat ChineseTraditionalLanguage Telephoning "致電") | domainEnglishFormat.kif 57368-57368 | |
| (termFormat EnglishLanguage Telephoning "telephoning") | domainEnglishFormat.kif 57367-57367 |
| antecedent |
|
|
| (=> (instance ?TEL Telephoning) (exists (?DEVICE) (and (instance ?DEVICE Telephone) (instrument ?TEL ?DEVICE)))) |
Mid-level-ontology.kif 2959-2964 | |
| (=> (instance ?TEL Telephoning) (exists (?SPEAK ?AGENT) (and (instance ?SPEAK Speaking) (subProcess ?SPEAK ?TEL) (=> (agent ?TEL ?AGENT) (agent ?SPEAK ?AGENT))))) |
Mid-level-ontology.kif 2966-2974 |
| 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 25381-25402 | |
| (=> (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 3691-3711 | |
| (=> (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 3735-3755 | |
| (=> (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 26546-26554 |
|
|
|