eveningPhone |
appearance as argument number 1 |
![]() |
(documentation eveningPhone EnglishLanguage "(eveningPhone ?Phone ?Agent) means that ?Phone is a phone number corresponidng to the location where ?Agent can be reached during the evening.") | FinancialOntology.kif 3602-3604 | |
(domain eveningPhone 1 SymbolicString) | FinancialOntology.kif 3600-3600 | |
(domain eveningPhone 2 Agent) | FinancialOntology.kif 3601-3601 | |
(instance eveningPhone BinaryPredicate) | FinancialOntology.kif 3599-3599 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage eveningPhone "%2 %n 是 %1 的 evening 电话") | domainEnglishFormat.kif 923-923 | |
(format ChineseTraditionalLanguage eveningPhone "%2 %n 是 %1 的 evening 電話") | domainEnglishFormat.kif 922-922 | |
(format EnglishLanguage eveningPhone "%2 is %n an evening phone of %1") | domainEnglishFormat.kif 921-921 | |
(termFormat ChineseLanguage eveningPhone "傍晚的电话") | domainEnglishFormat.kif 22567-22567 | |
(termFormat ChineseTraditionalLanguage eveningPhone "傍晚的電話") | domainEnglishFormat.kif 22566-22566 | |
(termFormat EnglishLanguage eveningPhone "evening phone") | domainEnglishFormat.kif 22565-22565 |
antecedent |
![]() |
(=> (and (eveningPhone ?Number ?Agent) (instance ?Day Day)) (exists (?Phone) (and (phoneNumber ?Number ?Phone) (holdsDuring (HourFn ?Number ?Day) (possesses ?Agent ?Phone)) (greaterThan ?Number 18)))) |
FinancialOntology.kif 3606-3614 |
![]() |
![]() |