| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners