abstractPart - Sigma Knowledge base Browser

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 25068-25069
(instance abstractPart PartialOrderingRelation)	Mid-level-ontology.kif 25071-25071	part is an instance of partial ordering relation
(instance abstractPart BinaryPredicate)	Mid-level-ontology.kif 25072-25072	part is an instance of binary predicate
(domain abstractPart 1 Abstract)	Mid-level-ontology.kif 25073-25073	The number 1 argument of part is an instance of abstract
(domain abstractPart 2 Abstract)	Mid-level-ontology.kif 25074-25074	The number 2 argument of part is an instance of abstract

appearance as argument number 2

(termFormat EnglishLanguage abstractPart "part")	Mid-level-ontology.kif 25070-25070
(format EnglishLanguage abstractPart "%1 is %n a part of %2")	Mid-level-ontology.kif 25075-25075
(termFormat EnglishLanguage abstractPart "abstract part")	domainEnglishFormat.kif 5191-5191
(termFormat ChineseTraditionalLanguage abstractPart "抽象的部分")	domainEnglishFormat.kif 5192-5192
(termFormat ChineseLanguage abstractPart "抽象的部分")	domainEnglishFormat.kif 5193-5193

antecedent

(=>
    (and
        (instance ?POLE MultipolePole)
        (abstractPart ?POLE ?MULTIPOLE))
    (exists (?SECTION)
        (and
            (instance ?SECTION MultipoleSection)
            (abstractPart ?POLE ?SECTION)
            (abstractPart ?SECTION ?MULTIPOLE))))

engineering.kif 383-391

If X is an instance of multipole pole and X is a part of Y, then there exists Z such that Z is an instance of multipole section, X is a part of Z, and Z is a part of Y

consequent

(=> (instance ?ONT Ontology) (exists (?TAX) (and (instance ?TAX Taxonomy) (abstractPart ?TAX ?ONT))))	Mid-level-ontology.kif 25087-25092	If X is an instance of ontology, then there exists Y such that Y is an instance of taxonomy and Y is a part of X
(=> (recordForAgreement ?CBP ?A) (not (exists (?P) (and (not (equal ?P ?A)) (not (abstractPart ?P ?A)) (containsInformation ?CBP ?P)))))	Law.kif 485-494	If X is the record of Y, then there doesn't exist Z such that equal Z, Y, Z is not a part of Y, and X contains information Z
(=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 383-391	If X is an instance of multipole pole and X is a part of Y, then there exists Z such that Z is an instance of multipole section, X is a part of Z, and Z is a part of Y
(=> (instance ?MULTIPOLE Multipole) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 403-408	If X is an instance of multipole, then there exists Y such that Y is an instance of multipole section and Y is a part of X
(=> (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 411-419	If X is an instance of multipole section, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of multipole pole (3) Z is an instance of multipole pole (4) Y is a part of X (5) Z is a part of X (6) equal Y (7) Z
(=> (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 428-440	If X is an instance of multipole port, then All of the following hold: (1) there don't exist Y, Z (2) W such that Y is an instance of multipole pole (3) Z is an instance of multipole pole (4) W is an instance of multipole pole (5) Y is a part of X (6) Z is a part of X (7) W is a part of X (8) equal Y (9) Z (10) equal Z (11) W (12) equal Y (13) W
(=> (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 447-459	If X is an instance of twopole, then there exists Y such that Y is an instance of multipole port, Y is a part of X, there doesn't exist Z such that Z is an instance of multipole section, Z is a part of X, equal Z, and Y

appearance as argument number 0

(abstractPart NewtonsFirstLaw NewtonsLaw)	engineering.kif 1675-1675	Newtons first law is a part of newtons law
(abstractPart NewtonsSecondLaw NewtonsLaw)	engineering.kif 1682-1682	Newtons second law is a part of newtons law
(abstractPart NewtonsThirdLaw NewtonsLaw)	engineering.kif 1687-1687	Newtons third law is a part of newtons law

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: