| appearance as argument number 1 |
|
| (documentation emailAddress EnglishLanguage "(emailAddress ?Address ?Agent) means that ?Address denotes a VirtualPlace at which ?Agent can be contacted.") | Mid-level-ontology.kif 3003-3005 | |
| (domain emailAddress 1 SymbolicString) | Mid-level-ontology.kif 3000-3000 | The number 1 argument of email address is an instance of symbolic string |
| (domain emailAddress 2 AutonomousAgent) | Mid-level-ontology.kif 3001-3001 | The number 2 argument of email address is an instance of agent |
| (instance emailAddress BinaryPredicate) | Mid-level-ontology.kif 2998-2998 | email address is an instance of binary predicate |
| (subrelation emailAddress refers) | Mid-level-ontology.kif 2999-2999 | email address is a subrelation of refers |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage emailAddress "%2 %n 是 %1 的 email 地址") | domainEnglishFormat.kif 903-903 | |
| (format ChineseTraditionalLanguage emailAddress "%2 %n 是 %1 的 email 地址") | domainEnglishFormat.kif 902-902 | |
| (format EnglishLanguage emailAddress "%2 is %n an email address of %1") | domainEnglishFormat.kif 901-901 | |
| (termFormat ChineseLanguage emailAddress "电子邮件地址") | domainEnglishFormat.kif 21892-21892 | |
| (termFormat ChineseTraditionalLanguage emailAddress "電子郵件地址") | domainEnglishFormat.kif 21891-21891 | |
| (termFormat EnglishLanguage emailAddress "email address") | domainEnglishFormat.kif 21890-21890 |
|
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 3.0 is open source software produced by Articulate Software and its partners