| udaCanSignify |
| appearance as argument number 1 |
|
|
| (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 1719-1721 | |
| (domainSubclass udaCanSignify 1 UserDirectAction) | ComputerInput.kif 1717-1717 | The number 1 argument of uda can signify is a subclass of user direct action |
| (domainSubclass udaCanSignify 2 UserSignifiedAction) | ComputerInput.kif 1718-1718 | The number 2 argument of uda can signify is a subclass of user signified action |
| (instance udaCanSignify BinaryPredicate) | ComputerInput.kif 1716-1716 | uda can signify is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage udaCanSignify "%1 isgnifies %2 ") | domainEnglishFormat.kif 4860-4860 | |
| (format ChineseTraditionalLanguage udaCanSignify "%1 isgnifies %2 ") | domainEnglishFormat.kif 4859-4859 | |
| (format EnglishLanguage udaCanSignify "%1 isgnifies %2") | domainEnglishFormat.kif 4858-4858 | |
| (termFormat EnglishLanguage udaCanSignify "uda can signify") | domainEnglishFormat.kif 65992-65992 |
| appearance as argument number 0 |
|
|
|
|