| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners