Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| accountPhoneNumber |
| appearance as argument number 1 |
|
| (subrelation accountPhoneNumber accountInformation) | ComputingBrands.kif 4061-4061 | account phone number is a subrelation of account information |
| (instance accountPhoneNumber BinaryPredicate) | ComputingBrands.kif 4062-4062 | account phone number is an instance of binary predicate |
| (domain accountPhoneNumber 1 UserAccount) | ComputingBrands.kif 4063-4063 | The number 1 argument of account phone number is an instance of user account |
| (domain accountPhoneNumber 2 TelecomNumber) | ComputingBrands.kif 4064-4064 | The number 2 argument of account phone number is an instance of telecom number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage accountPhoneNumber "account phone number") | domainEnglishFormat.kif 65771-65771 |
|