![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| udaCanSignify |
| appearance as argument number 1 |
|
|
| (instance udaCanSignify BinaryPredicate) | ComputerInput.kif 1732-1732 | uda can signify is an instance of binary predicate |
| (domainSubclass udaCanSignify 1 UserDirectAction) | ComputerInput.kif 1733-1733 | The number 1 argument of uda can signify is a subclass of user direct action |
| (domainSubclass udaCanSignify 2 UserSignifiedAction) | ComputerInput.kif 1734-1734 | The number 2 argument of uda can signify is a subclass of user signified action |
| (documentation udaCanSignify EnglishLanguage "(udaCanSignify ?DIRECT_ACTION_TYPE ?SIGNIFIED_ACTION_TYPE) means that an instance of the UserDirectAction ?DIRECT_ACTION can signify to a program an instance of the UserSignifiedAction ?SIGNIFIED_ACTION_TYPE.") | ComputerInput.kif 1735-1737 | The number 2 argument of uda can signify is a subclass of user signified action |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage udaCanSignify "%1 isgnifies %2") | domainEnglishFormat.kif 4858-4858 | |
| (format ChineseTraditionalLanguage udaCanSignify "%1 isgnifies %2 ") | domainEnglishFormat.kif 4859-4859 | |
| (format ChineseLanguage udaCanSignify "%1 isgnifies %2 ") | domainEnglishFormat.kif 4860-4860 | |
| (termFormat EnglishLanguage udaCanSignify "uda can signify") | domainEnglishFormat.kif 66002-66002 |
| appearance as argument number 0 |
|
|