| 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 3010-3012 | |
| (domain emailAddress 1 SymbolicString) | Mid-level-ontology.kif 3007-3007 | Il numero 1 argomenti di emailAddress è un istanza di Stringa |
| (domain emailAddress 2 AutonomousAgent) | Mid-level-ontology.kif 3008-3008 | Il numero 2 argomenti di emailAddress è un istanza di AutonomousAgent |
| (instance emailAddress BinaryPredicate) | Mid-level-ontology.kif 3005-3005 | emailAddress è un' istanza di PredicatoBinario |
| (subrelation emailAddress refers) | Mid-level-ontology.kif 3006-3006 | emailAddress è una sottorelazione di 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 21876-21876 | |
| (termFormat ChineseTraditionalLanguage emailAddress "電子郵件地址") | domainEnglishFormat.kif 21875-21875 | |
| (termFormat EnglishLanguage emailAddress "email address") | domainEnglishFormat.kif 21874-21874 |
|
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