| appearance as argument number 1 |
|
| s__documentation(s__eveningPhone__m,s__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 3603-3605 | |
| s__domain(s__eveningPhone__m,n__1,s__SymbolicString)
|
FinancialOntology.kif 3601-3601 | The number 1 argument of evening phone is an instance of symbolic string |
| s__domain(s__eveningPhone__m,n__2,s__Agent)
|
FinancialOntology.kif 3602-3602 | The number 2 argument of evening phone is an instance of agent |
| s__instance(s__eveningPhone__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)
|
FinancialOntology.kif 3600-3600 | evening phone is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__eveningPhone__m,'"%2 %n 是 %1 的 evening 电话"')
|
domainEnglishFormat.kif 923-923 | |
| s__format(s__ChineseTraditionalLanguage,s__eveningPhone__m,'"%2 %n 是 %1 的 evening 電話"')
|
domainEnglishFormat.kif 922-922 | |
| s__format(s__EnglishLanguage,s__eveningPhone__m,'"%2 is %n an evening phone of %1"')
|
domainEnglishFormat.kif 921-921 | |
| s__termFormat(s__ChineseLanguage,s__eveningPhone__m,'"傍晚的电话"')
|
domainEnglishFormat.kif 22561-22561 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__eveningPhone__m,'"傍晚的電話"')
|
domainEnglishFormat.kif 22560-22560 | |
| s__termFormat(s__EnglishLanguage,s__eveningPhone__m,'"evening phone"')
|
domainEnglishFormat.kif 22559-22559 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3607-3615 |
|
|
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