| 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 3596-3598 | |
| (domain eveningPhone 1 SymbolicString) | FinancialOntology.kif 3594-3594 | |
| (domain eveningPhone 2 Agent) | FinancialOntology.kif 3595-3595 | |
| (instance eveningPhone BinaryPredicate) | FinancialOntology.kif 3593-3593 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage eveningPhone "%2 is %n an evening phone of %1") | domainEnglishFormat.kif 239-239 | |
| (termFormat EnglishLanguage eveningPhone "evening phone") | domainEnglishFormat.kif 4194-4194 |
| 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 3600-3608 |
|
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