uniqueIdWithRespectTo |
appearance as argument number 1 |
(documentation uniqueIdWithRespectTo EnglishLanguage "Any ID which is unique within some context, though not globally unique. This relation may be used in situations such as a user account, in which a SymbolicString is unique to a relationship between one particular Human and one particular Corporation, or a unique home address with respect to a given Street.") | Mid-level-ontology.kif 29921-29924 | |
(domain uniqueIdWithRespectTo 1 Physical) | Mid-level-ontology.kif 29918-29918 | O argumento numero 1 de uniqueIdWithRespectTo e' uma instancia de Fisico |
(domain uniqueIdWithRespectTo 2 Physical) | Mid-level-ontology.kif 29919-29919 | O argumento numero 2 de uniqueIdWithRespectTo e' uma instancia de Fisico |
(domain uniqueIdWithRespectTo 3 SymbolicString) | Mid-level-ontology.kif 29920-29920 | O argumento numero 3 de uniqueIdWithRespectTo e' uma instancia de Sequencia Simbolica |
(instance uniqueIdWithRespectTo TernaryPredicate) | Mid-level-ontology.kif 29917-29917 | uniqueIdWithRespectTo e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
(format ChineseLanguage uniqueIdWithRespectTo "%3 是 unique ID 对于 %2 相对于 %1 ") | domainEnglishFormat.kif 4866-4866 | |
(format ChineseTraditionalLanguage uniqueIdWithRespectTo "%3 是 unique ID 對於 %2 相對於 %1 ") | domainEnglishFormat.kif 4865-4865 | |
(format EnglishLanguage uniqueIdWithRespectTo "%3 is a unique ID for %2 with respect to %1") | domainEnglishFormat.kif 4864-4864 | |
(termFormat EnglishLanguage uniqueIdWithRespectTo "unique ID with respect to") | domainEnglishFormat.kif 65966-65966 |
consequent |