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 24433-24434 | |
(domain abstractPart 1 Abstract) | Mid-level-ontology.kif 24438-24438 | |
(domain abstractPart 2 Abstract) | Mid-level-ontology.kif 24439-24439 | |
(instance abstractPart BinaryPredicate) | Mid-level-ontology.kif 24437-24437 | |
(instance abstractPart PartialOrderingRelation) | Mid-level-ontology.kif 24436-24436 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage abstractPart "%1 is %n a part of %2") | Mid-level-ontology.kif 24440-24440 | |
(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 24435-24435 |
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 |
![]() |
(=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 390-398 | |
(=> (instance ?MULTIPOLE Multipole) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 435-440 | |
(=> (instance ?ONT Ontology) (exists (?TAX) (and (instance ?TAX Taxonomy) (abstractPart ?TAX ?ONT)))) |
Mid-level-ontology.kif 24452-24457 | |
(=> (instance ?PORT MultipolePort) (not (exists (?POLE1 ?POLE2 ?POLE3) (and (instance ?POLE1 MultipolePole) (instance ?POLE2 MultipolePole) (instance ?POLE3 MultipolePole) (abstractPart ?POLE1 ?PORT) (abstractPart ?POLE2 ?PORT) (abstractPart ?POLE3 ?PORT) (not (equal ?POLE1 ?POLE2)) (not (equal ?POLE2 ?POLE3)) (not (equal ?POLE1 ?POLE3)))))) |
engineering.kif 460-472 | |
(=> (instance ?SECTION MultipoleSection) (exists (?POLE1 ?POLE2) (and (instance ?POLE1 MultipolePole) (instance ?POLE2 MultipolePole) (abstractPart ?POLE1 ?SECTION) (abstractPart ?POLE2 ?SECTION) (not (equal ?POLE1 ?POLE2))))) |
engineering.kif 443-451 | |
(=> (instance ?TWOPOLE Twopole) (exists (?PORT) (and (instance ?PORT MultipolePort) (abstractPart ?PORT ?TWOPOLE) (not (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?TWOPOLE) (not (equal ?SECTION ?PORT)))))))) |
engineering.kif 479-491 | |
(=> (recordForAgreement ?CBP ?A) (not (exists (?P) (and (not (equal ?P ?A)) (not (abstractPart ?P ?A)) (containsInformation ?CBP ?P))))) |
Law.kif 510-519 |
appearance as argument number 0 |
![]() |
(abstractPart NewtonsFirstLaw NewtonsLaw) | engineering.kif 1563-1563 | |
(abstractPart NewtonsSecondLaw NewtonsLaw) | engineering.kif 1570-1570 | |
(abstractPart NewtonsThirdLaw NewtonsLaw) | engineering.kif 1575-1575 |
![]() |
![]() |