property |
appearance as argument number 1 |
![]() |
(documentation property ChineseLanguage "这个 Predicate 在 Entity 的实例和 Attribute 的 实例成立。(property ?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的 Attribute。") | chinese_format.kif 1712-1713 | |
(documentation property EnglishLanguage "This Predicate holds between an instance of Entity and an instance of Attribute. (property ?ENTITY ?ATTR) means that ?ENTITY has the Attribute ?ATTR.") | Merge.kif 1710-1712 | |
(documentation property JapaneseLanguage "この Predicate は、E と A のインスタンスの間に 保持される。(property ?ENTITY ?ATTR) とは、?ENTITY が Attribute ?ATTR を有する、という 意味である。") | japanese_format.kif 315-317 | |
(domain property 1 Entity) | Merge.kif 1707-1707 | Le nombre 1 argument de property est une instance de entit� |
(domain property 2 Attribute) | Merge.kif 1708-1708 | Le nombre 2 argument de property est une instance de attribut |
(instance property BinaryPredicate) | Merge.kif 1706-1706 | property est une instance de pr�dicat binaire |
appearance as argument number 2 |
![]() |
(format ChineseLanguage property "%1 %n 有 %2 的 attribute") | chinese_format.kif 177-177 | |
(format EnglishLanguage property "%1 %n{does not have} the attribute %2") | english_format.kif 178-178 | |
(format FrenchLanguage property "%1 a %n un attribute %2") | french_format.kif 108-108 | |
(format ItalianLanguage property "%1 ha %n un attributo %2") | relations-it.txt 235-235 | |
(format JapaneseLanguage property "%1 には attribute %2 %n{ない}") | japanese_format.kif 1937-1937 | |
(format PortugueseLanguage property "%1 tem %n um atributo de %2") | portuguese_format.kif 60-60 | |
(format cz property "%1 %n{ne}m� atribut %2") | relations-cz.txt 72-72 | |
(format de property "%1 hat ein attribut %2 %n{nicht}") | relations-de.txt 223-223 | |
(format hi property "%2 %1 kii eka visheshhataa %n hai") | relations-hindi.txt 273-273 | |
(format ro property "%1 %n{nu} are attribute%t{atributul} %2") | relations-ro.kif 127-127 | |
(format sv property "%1 har %n{inte} egenskapen %2") | relations-sv.txt 113-113 | |
(format tg property "%1 %n mayroon ay ang katangian ng %2") | relations-tg.txt 427-427 | |
(subrelation abstractionLevel property) | QoSontology.kif 1723-1723 | abstractionLevel est une sous-relation de property |
(subrelation attribute property) | Merge.kif 1718-1718 | attribute est une sous-relation de property |
(subrelation complexity property) | QoSontology.kif 1620-1620 | complexity est une sous-relation de property |
(subrelation designPattern property) | QoSontology.kif 1479-1479 | designPattern est une sous-relation de property |
(subrelation environmentAttributes property) | QoSontology.kif 459-459 | environmentAttributes est une sous-relation de property |
(subrelation formOfAdaptation property) | QoSontology.kif 1576-1576 | formOfAdaptation est une sous-relation de property |
(subrelation manner property) | Merge.kif 1730-1730 | manner est une sous-relation de property |
(subrelation modalAttribute property) | Merge.kif 17378-17378 | modalAttribute est une sous-relation de property |
(subrelation shape property) | Merge.kif 7634-7634 | shape est une sous-relation de property |
(subrelation status property) | QoSontology.kif 902-902 | status est une sous-relation de property |
(subrelation strictness property) | QoSontology.kif 1659-1659 | strictness est une sous-relation de property |
(subrelation systemBehavior property) | QoSontology.kif 1448-1448 | systemBehavior est une sous-relation de property |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |