Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| emailAddress |
| appearance as argument number 1 |
|
| (instance emailAddress BinaryPredicate) | Mid-level-ontology.kif 3632-3632 | email address is an instance of binary predicate |
| (subrelation emailAddress refers) | Mid-level-ontology.kif 3633-3633 | email address is a subrelation of refers |
| (domain emailAddress 1 SymbolicString) | Mid-level-ontology.kif 3634-3634 | The number 1 argument of email address is an instance of symbolic string |
| (domain emailAddress 2 AutonomousAgent) | Mid-level-ontology.kif 3635-3635 | The number 2 argument of email address is an instance of agent |
| (documentation emailAddress EnglishLanguage "(emailAddress ?Address ?Agent) means that ?Address denotes a VirtualPlace at which ?Agent can be contacted.") | Mid-level-ontology.kif 3637-3639 | The number 2 argument of email address is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage emailAddress "%2 is %n an email address of %1") | domainEnglishFormat.kif 901-901 | |
| (format ChineseTraditionalLanguage emailAddress "%2 %n 是 %1 的 email 地址") | domainEnglishFormat.kif 902-902 | |
| (format ChineseLanguage emailAddress "%2 %n 是 %1 的 email 地址") | domainEnglishFormat.kif 903-903 | |
| (termFormat EnglishLanguage emailAddress "email address") | domainEnglishFormat.kif 21876-21876 | |
| (termFormat ChineseTraditionalLanguage emailAddress "電子郵件地址") | domainEnglishFormat.kif 21877-21877 | |
| (termFormat ChineseLanguage emailAddress "电子邮件地址") | domainEnglishFormat.kif 21878-21878 |
|