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 1711-1713 | |
(documentation property JapaneseLanguage "この Predicate は、E と A のインスタンスの間に 保持される。(property ?ENTITY ?ATTR) とは、?ENTITY が Attribute ?ATTR を有する、という 意味である。") | japanese_format.kif 315-317 | |
(domain property 1 Entity) | Merge.kif 1708-1708 | 域 屬性, 1 and Entity |
(domain property 2 Attribute) | Merge.kif 1709-1709 | 域 屬性, 2 and Attribute |
(instance property BinaryPredicate) | Merge.kif 1707-1707 | 例 屬性 and BinaryPredicate |
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 1617-1617 | 子關係 抽象層次 and 屬性 |
(subrelation attribute property) | Merge.kif 1719-1719 | 子關係 attribute and 屬性 |
(subrelation complexity property) | QoSontology.kif 1514-1514 | 子關係 複雜 and 屬性 |
(subrelation designPattern property) | QoSontology.kif 1373-1373 | 子關係 設計模式 and 屬性 |
(subrelation environmentAttributes property) | QoSontology.kif 459-459 | 子關係 環境屬性 and 屬性 |
(subrelation formOfAdaptation property) | QoSontology.kif 1470-1470 | 子關係 適應形式 and 屬性 |
(subrelation manner property) | Merge.kif 1731-1731 | 子關係 方式 and 屬性 |
(subrelation modalAttribute property) | Merge.kif 17323-17323 | 子關係 模態屬性 and 屬性 |
(subrelation shape property) | Mid-level-ontology.kif 25574-25574 | 子關係 shape and 屬性 |
(subrelation status property) | QoSontology.kif 796-796 | 子關係 狀態 and 屬性 |
(subrelation strictness property) | QoSontology.kif 1553-1553 | 子關係 嚴格 and 屬性 |
(subrelation systemBehavior property) | QoSontology.kif 1342-1342 | 子關係 系統行為 and 屬性 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
appearance as argument number 0 |