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 3424-3427 | |
(externalImage Telephoning "http://articulatesoftware.com/SUMOpictures/telephone/ call.png") | pictureList.kif 312-312 | |
(subclass Telephoning Communication) | Mid-level-ontology.kif 3422-3422 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Telephoning "致电") | domainEnglishFormat.kif 57338-57338 | |
(termFormat ChineseTraditionalLanguage Telephoning "致電") | domainEnglishFormat.kif 57337-57337 | |
(termFormat EnglishLanguage Telephoning "telephoning") | domainEnglishFormat.kif 57336-57336 |
antecedent |
![]() |
(=> (instance ?TEL Telephoning) (exists (?DEVICE) (and (instance ?DEVICE Telephone) (instrument ?TEL ?DEVICE)))) |
Mid-level-ontology.kif 3429-3434 | |
(=> (instance ?TEL Telephoning) (exists (?SPEAK ?AGENT) (and (instance ?SPEAK Speaking) (subProcess ?SPEAK ?TEL) (=> (agent ?TEL ?AGENT) (agent ?SPEAK ?AGENT))))) |
Mid-level-ontology.kif 3436-3444 |
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 26755-26776 | |
(=> (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 | |
(=> (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 | |
(=> (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 28181-28189 |
![]() |
![]() |