havePartTypes |
appearance as argument number 1 |
![]() |
(documentation havePartTypes EnglishLanguage "(havePartTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?WHOLE_TYPE has as parts an instance of ?PART_TYPE.") | Mid-level-ontology.kif 23284-23285 | |
(domainSubclass havePartTypes 1 Object) | Mid-level-ontology.kif 23281-23281 | |
(domainSubclass havePartTypes 2 Object) | Mid-level-ontology.kif 23282-23282 | |
(instance havePartTypes BinaryPredicate) | Mid-level-ontology.kif 23279-23279 | |
(instance havePartTypes SpatialRelation) | Mid-level-ontology.kif 23280-23280 | |
(relatedInternalConcept havePartTypes part) | Mid-level-ontology.kif 23283-23283 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage havePartTypes "%1 有 种类 %2 的 parts ") | domainEnglishFormat.kif 3623-3623 | |
(format ChineseTraditionalLanguage havePartTypes "%1 有 種類 %2 的 parts ") | domainEnglishFormat.kif 3622-3622 | |
(format EnglishLanguage havePartTypes "%1 has parts of type %2") | domainEnglishFormat.kif 3621-3621 |
antecedent |
![]() |
(=> (and (havePartTypes ?PART_TYPE ?WHOLETYPE) (instance ?WHOLE ?WHOLETYPE)) (exists (?PART) (and (instance ?PART ?PART_TYPE) (part ?PART ?WHOLE)))) |
Mid-level-ontology.kif 23287-23294 |
appearance as argument number 0 |
![]() |
(havePartTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 375-375 | |
(havePartTypes ComputerMenu ComputerMenuItem) | ComputerInput.kif 1133-1133 | |
(havePartTypes ComputerMouse MouseButton) | ComputerInput.kif 400-400 | |
(havePartTypes GameIODeviceWithAccelerometer Accelerometer) | ComputerInput.kif 639-639 | |
(havePartTypes GraphicalComputerMenu GraphicalMenuItem) | ComputerInput.kif 1148-1148 | |
(havePartTypes Valve Faucet) | engineering.kif 932-932 | |
(havePartTypes Valve Tube) | engineering.kif 933-933 |
![]() |
![]() |