| 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 22842-22843 | |
| (domain abstractPart 1 Abstract) | Mid-level-ontology.kif 22847-22847 | |
| (domain abstractPart 2 Abstract) | Mid-level-ontology.kif 22848-22848 | |
| (instance abstractPart BinaryPredicate) | Mid-level-ontology.kif 22846-22846 | |
| (instance abstractPart PartialOrderingRelation) | Mid-level-ontology.kif 22845-22845 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage abstractPart "%1 is %n a part of %2") | Mid-level-ontology.kif 22849-22849 | |
| (termFormat ChineseLanguage abstractPart "抽象的部分") | domainEnglishFormat.kif 5184-5184 | |
| (termFormat ChineseTraditionalLanguage abstractPart "抽象的部分") | domainEnglishFormat.kif 5183-5183 | |
| (termFormat EnglishLanguage abstractPart "abstract part") | domainEnglishFormat.kif 5182-5182 | |
| (termFormat EnglishLanguage abstractPart "part") | Mid-level-ontology.kif 22844-22844 |
| antecedent |
|
|
| (=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 391-399 |
| consequent |
|
|
| (=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 391-399 | |
| (=> (instance ?MULTIPOLE Multipole) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?MULTIPOLE)))) |
engineering.kif 436-441 | |
| (=> (instance ?ONT Ontology) (exists (?TAX) (and (instance ?TAX Taxonomy) (abstractPart ?TAX ?ONT)))) |
Mid-level-ontology.kif 22861-22866 | |
| (=> (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 461-473 | |
| (=> (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 444-452 | |
| (=> (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 480-492 | |
| (=> (recordForAgreement ?CBP ?A) (not (exists (?P) (and (not (equal ?P ?A)) (not (abstractPart ?P ?A)) (containsInformation ?CBP ?P))))) |
Law.kif 504-513 |
| appearance as argument number 0 |
|
|
| (abstractPart NewtonsFirstLaw NewtonsLaw) | engineering.kif 1250-1250 | |
| (abstractPart NewtonsSecondLaw NewtonsLaw) | engineering.kif 1257-1257 | |
| (abstractPart NewtonsThirdLaw NewtonsLaw) | engineering.kif 1262-1262 |
|
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