abstractPart |
appearance as argument number 1 |
![]() |
(documentation abstractPart EnglishLanguage "A meronymy relation similar to part, but for abstract rather than physical things.") | Mid-level-ontology.kif 23904-23905 | |
(domain abstractPart 1 Abstract) | Mid-level-ontology.kif 23909-23909 | The number 1 argument of abstract part is an instance of abstract |
(domain abstractPart 2 Abstract) | Mid-level-ontology.kif 23910-23910 | The number 2 argument of abstract part is an instance of abstract |
(instance abstractPart BinaryPredicate) | Mid-level-ontology.kif 23908-23908 | abstract part is an instance of binary predicate |
(instance abstractPart PartialOrderingRelation) | Mid-level-ontology.kif 23907-23907 | abstract part is an instance of partial ordering relation |
appearance as argument number 2 |
![]() |
(format EnglishLanguage abstractPart "%1 is %n a part of %2") | Mid-level-ontology.kif 23911-23911 | |
(termFormat ChineseLanguage abstractPart "抽象的部分") | domainEnglishFormat.kif 5193-5193 | |
(termFormat ChineseTraditionalLanguage abstractPart "抽象的部分") | domainEnglishFormat.kif 5192-5192 | |
(termFormat EnglishLanguage abstractPart "abstract part") | domainEnglishFormat.kif 5191-5191 | |
(termFormat EnglishLanguage abstractPart "part") | Mid-level-ontology.kif 23906-23906 |
antecedent |
![]() |
(=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 390-398 |
|
consequent |
![]() |
appearance as argument number 0 |
![]() |
(abstractPart NewtonsFirstLaw NewtonsLaw) | engineering.kif 1563-1563 | Newtons first law is a part of newtons law |
(abstractPart NewtonsSecondLaw NewtonsLaw) | engineering.kif 1570-1570 | Newtons second law is a part of newtons law |
(abstractPart NewtonsThirdLaw NewtonsLaw) | engineering.kif 1575-1575 | Newtons third law is a part of newtons law |
![]() |
![]() |