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 | Die Zahl 1 Argument von udaCanSignify ist eine teilkategorie von UserDirectAction %n{nicht} |
(domainSubclass udaCanSignify 2 UserSignifiedAction) | ComputerInput.kif 1718-1718 | Die Zahl 2 Argument von udaCanSignify ist eine teilkategorie von UserSignifiedAction %n{nicht} |
(instance udaCanSignify BinaryPredicate) | ComputerInput.kif 1716-1716 | udaCanSignify ist ein fall von BinaryPredicate %n{nicht} |
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 65964-65964 |
appearance as argument number 0 |