| 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 20729-20730 | |
| (domain abstractPart 1 Abstract) | Mid-level-ontology.kif 20734-20734 | |
| (domain abstractPart 2 Abstract) | Mid-level-ontology.kif 20735-20735 | |
| (instance abstractPart BinaryPredicate) | Mid-level-ontology.kif 20733-20733 | |
| (instance abstractPart PartialOrderingRelation) | Mid-level-ontology.kif 20732-20732 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage abstractPart "%1 is %n a part of %2") | Mid-level-ontology.kif 20736-20736 | |
| (termFormat ChineseLanguage abstractPart "抽象的部分") | domainEnglishFormat.kif 5189-5189 | |
| (termFormat ChineseTraditionalLanguage abstractPart "抽象的部分") | domainEnglishFormat.kif 5188-5188 | |
| (termFormat EnglishLanguage abstractPart "abstract part") | domainEnglishFormat.kif 5187-5187 | |
| (termFormat EnglishLanguage abstractPart "part") | Mid-level-ontology.kif 20731-20731 |
| 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 433-438 | |
| (=> (instance ?ONT Ontology) (exists (?TAX) (and (instance ?TAX Taxonomy) (abstractPart ?TAX ?ONT)))) |
Mid-level-ontology.kif 20749-20754 | |
| (=> (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 458-470 | |
| (=> (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 441-449 | |
| (=> (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 477-489 | |
| (=> (recordForAgreement ?CBP ?A) (not (exists (?P) (and (not (equal ?P ?A)) (not (abstractPart ?P ?A)) (containsInformation ?CBP ?P))))) |
Law.kif 552-561 |
| appearance as argument number 0 |
|
|
| (abstractPart NewtonsFirstLaw NewtonsLaw) | engineering.kif 1249-1249 | |
| (abstractPart NewtonsSecondLaw NewtonsLaw) | engineering.kif 1256-1256 | |
| (abstractPart NewtonsThirdLaw NewtonsLaw) | engineering.kif 1261-1261 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners