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 | |
(domainSubclass udaCanSignify 2 UserSignifiedAction) | ComputerInput.kif 1718-1718 | |
(instance udaCanSignify BinaryPredicate) | ComputerInput.kif 1716-1716 |
appearance as argument number 2 |
(format ChineseLanguage udaCanSignify "%1 isgnifies %2 ") | domainEnglishFormat.kif 4854-4854 | |
(format ChineseTraditionalLanguage udaCanSignify "%1 isgnifies %2 ") | domainEnglishFormat.kif 4853-4853 | |
(format EnglishLanguage udaCanSignify "%1 isgnifies %2") | domainEnglishFormat.kif 4852-4852 | |
(termFormat EnglishLanguage udaCanSignify "uda can signify") | domainEnglishFormat.kif 65966-65966 |
appearance as argument number 0 |