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 20677-20678
(domain abstractPart 1 Abstract)	Mid-level-ontology.kif 20682-20682	The number 1 argument of abstract part is an instance of abstract
(domain abstractPart 2 Abstract)	Mid-level-ontology.kif 20683-20683	The number 2 argument of abstract part is an instance of abstract
(instance abstractPart BinaryPredicate)	Mid-level-ontology.kif 20681-20681	abstract part is an instance of binary predicate
(instance abstractPart PartialOrderingRelation)	Mid-level-ontology.kif 20680-20680	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 20684-20684
(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 20679-20679

antecedent

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

engineering.kif 390-398

If an abstract is an instance of multipole pole and the abstract is a part of another abstract,
then there exists a third abstract such that the third abstract is an instance of multipole section and the abstract is a part of the third abstract and the third abstract is a part of the other abstract

consequent

(=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 390-398	If an abstract is an instance of multipole pole and the abstract is a part of another abstract, then there exists a third abstract such that the third abstract is an instance of multipole section and the abstract is a part of the third abstract and the third abstract is a part of the other abstract
(=> (instance ?MULTIPOLE Multipole) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 433-438	If an abstract is an instance of multipole, then there exists another abstract such that the other abstract is an instance of multipole section and the other abstract is a part of the abstract
(=> (instance ?ONT Ontology) (exists (?TAX) (and (instance ?TAX Taxonomy) (abstractPart ?TAX ?ONT))))	Mid-level-ontology.kif 20697-20702	If an abstract is an instance of ontology, then there exists another abstract such that the other abstract is an instance of taxonomy and the other abstract is a part of the abstract
(=> (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	If an abstract is an instance of multipole port, then there don't exist another abstract, a third abstract and a fourth abstract such that the other abstract is an instance of multipole pole and the third abstract is an instance of multipole pole and the fourth abstract is an instance of multipole pole and the other abstract is a part of the abstract and the third abstract is a part of the abstract and the fourth abstract is a part of the abstract and the other abstract is not equal to the third abstract and the third abstract is not equal to the fourth abstract and the other abstract is not equal to the fourth abstract
(=> (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	If an abstract is an instance of multipole section, then there exist another abstract and a third abstract such that the other abstract is an instance of multipole pole and the third abstract is an instance of multipole pole and the other abstract is a part of the abstract and the third abstract is a part of the abstract and the other abstract is not equal to the third abstract
(=> (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	If an abstract is an instance of twopole, then there exists another abstract such that the other abstract is an instance of multipole port and the other abstract is a part of the abstract and there doesn't exist a third abstract such that the third abstract is an instance of multipole section and the third abstract is a part of the abstract and the third abstract is not equal to the other abstract
(=> (recordForAgreement ?CBP ?A) (not (exists (?P) (and (not (equal ?P ?A)) (not (abstractPart ?P ?A)) (containsInformation ?CBP ?P)))))	Law.kif 552-561	If a content bearing physical is the record of an agreement, then there doesn't exist a proposition such that the proposition is not equal to the agreement and the proposition is not a part of the agreement and the content bearing physical contains information the proposition

appearance as argument number 0

(abstractPart NewtonsFirstLaw NewtonsLaw)	engineering.kif 1249-1249	Newtons first law is a part of newtons law
(abstractPart NewtonsSecondLaw NewtonsLaw)	engineering.kif 1256-1256	Newtons second law is a part of newtons law
(abstractPart NewtonsThirdLaw NewtonsLaw)	engineering.kif 1261-1261	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: