| 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 23029-23030 | |
| (domainSubclass havePartTypes 1 Object) | Mid-level-ontology.kif 23026-23026 | |
| (domainSubclass havePartTypes 2 Object) | Mid-level-ontology.kif 23027-23027 | |
| (instance havePartTypes BinaryPredicate) | Mid-level-ontology.kif 23024-23024 | |
| (instance havePartTypes SpatialRelation) | Mid-level-ontology.kif 23025-23025 | |
| (relatedInternalConcept havePartTypes part) | Mid-level-ontology.kif 23028-23028 |
| 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 ?PARTTYPE) (part ?PART ?WHOLE)))) |
Mid-level-ontology.kif 23032-23039 |
| appearance as argument number 0 |
|
|
| (havePartTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 397-397 | |
| (havePartTypes ComputerMenu ComputerMenuItem) | ComputerInput.kif 1162-1162 | |
| (havePartTypes ComputerMouse MouseButton) | ComputerInput.kif 423-423 | |
| (havePartTypes GameIODeviceWithAccelerometer Accelerometer) | ComputerInput.kif 667-667 | |
| (havePartTypes GraphicalComputerMenu GraphicalMenuItem) | ComputerInput.kif 1178-1178 | |
| (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