partTypes |
appearance as argument number 1 |
(documentation partTypes EnglishLanguage "(partTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?PART_TYPE is parts of an instance of ?WHOLE_TYPE.") | Mid-level-ontology.kif 23752-23753 | |
(domainSubclass partTypes 1 Object) | Mid-level-ontology.kif 23748-23748 | Die Zahl 1 Argument von partTypes ist eine teilkategorie von Object %n{nicht} |
(domainSubclass partTypes 2 Object) | Mid-level-ontology.kif 23749-23749 | Die Zahl 2 Argument von partTypes ist eine teilkategorie von Object %n{nicht} |
(instance partTypes BinaryPredicate) | Mid-level-ontology.kif 23747-23747 | partTypes ist ein fall von BinaryPredicate %n{nicht} |
(relatedInternalConcept partTypes part) | Mid-level-ontology.kif 23751-23751 | partTypes ist innerlich verwandt mit teil %n{nicht} |
(subrelation partTypes typicalPart) | Mid-level-ontology.kif 23750-23750 | partTypes ist eine teilrelation von typicalPart |
appearance as argument number 2 |
(format ChineseLanguage partTypes "每个 %1 是 %2 的 part ") | domainEnglishFormat.kif 4078-4078 | |
(format ChineseTraditionalLanguage partTypes "每個 %1 是 %2 的 part ") | domainEnglishFormat.kif 4077-4077 | |
(format EnglishLanguage partTypes "every %1 is a part of a %2") | domainEnglishFormat.kif 4076-4076 | |
(termFormat EnglishLanguage partTypes "part types") | domainEnglishFormat.kif 65893-65893 |
antecedent |
(=> (and (partTypes ?PARTTYPE ?WHOLETYPE) (instance ?PART ?PARTTYPE)) (exists (?WHOLE) (and (instance ?WHOLE ?WHOLETYPE) (part ?PART ?WHOLE)))) |
Mid-level-ontology.kif 23755-23762 |
|
appearance as argument number 0 |