TreeView 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 23073-23074
(domain abstractPart 1 Abstract)	Mid-level-ontology.kif 23078-23078	Die Zahl 1 Argument von abstractPart ist ein fall von Abstract %n{nicht}
(domain abstractPart 2 Abstract)	Mid-level-ontology.kif 23079-23079	Die Zahl 2 Argument von abstractPart ist ein fall von Abstract %n{nicht}
(instance abstractPart BinaryPredicate)	Mid-level-ontology.kif 23077-23077	abstractPart ist ein fall von BinaryPredicate %n{nicht}
(instance abstractPart PartialOrderingRelation)	Mid-level-ontology.kif 23076-23076	abstractPart ist ein fall von PartialOrderingRelation %n{nicht}

appearance as argument number 2

(format EnglishLanguage abstractPart "%1 is %n a part of %2")	Mid-level-ontology.kif 23080-23080
(termFormat ChineseLanguage abstractPart "抽象的部分")	domainEnglishFormat.kif 5188-5188
(termFormat ChineseTraditionalLanguage abstractPart "抽象的部分")	domainEnglishFormat.kif 5187-5187
(termFormat EnglishLanguage abstractPart "abstract part")	domainEnglishFormat.kif 5186-5186
(termFormat EnglishLanguage abstractPart "part")	Mid-level-ontology.kif 23075-23075

antecedent

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

engineering.kif 391-399

Wenn Abstract ist ein fall von MultipolePole %n{nicht} und abstractPart ** Abstract and ** Abstract,
dann es gibt ** Abstract um ** ** Abstract ist ein fall von MultipoleSection %n{nicht} und abstractPart ** Abstract and ** ** Abstract und abstractPart ** ** Abstract and ** ** Abstract

consequent

(=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 391-399	Wenn Abstract ist ein fall von MultipolePole %n{nicht} und abstractPart Abstract and Abstract, dann es gibt Abstract um Abstract ist ein fall von MultipoleSection %n{nicht} und abstractPart Abstract and Abstract und abstractPart Abstract and Abstract
(=> (instance ?MULTIPOLE Multipole) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 436-441	Wenn Abstract ist ein fall von Multipole %n{nicht}, dann es gibt Abstract um Abstract ist ein fall von MultipoleSection %n{nicht} und abstractPart Abstract and Abstract
(=> (instance ?ONT Ontology) (exists (?TAX) (and (instance ?TAX Taxonomy) (abstractPart ?TAX ?ONT))))	Mid-level-ontology.kif 23092-23097	Wenn Abstract ist ein fall von Ontology %n{nicht}, dann es gibt Abstract um Abstract ist ein fall von Taxonomy %n{nicht} und abstractPart Abstract and 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 461-473	Wenn Abstract ist ein fall von MultipolePort %n{nicht}, dann es gibt nicht Abstract, Abstract, and und Abstract um Abstract ist ein fall von MultipolePole %n{nicht} und Abstract ist ein fall von MultipolePole %n{nicht} und Abstract ist ein fall von MultipolePole %n{nicht} und abstractPart Abstract and Abstract und abstractPart Abstract and Abstract und abstractPart Abstract and Abstract und Abstract ist gleich Abstract nicht und Abstract ist gleich Abstract nicht und Abstract ist gleich Abstract nicht
(=> (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	Wenn Abstract ist ein fall von MultipoleSection %n{nicht}, dann es gibt Abstract und Abstract um Abstract ist ein fall von MultipolePole %n{nicht} und Abstract ist ein fall von MultipolePole %n{nicht} und abstractPart Abstract and Abstract und abstractPart Abstract and Abstract und Abstract ist gleich Abstract nicht
(=> (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	Wenn Abstract ist ein fall von Twopole %n{nicht}, dann es gibt Abstract um Abstract ist ein fall von MultipolePort %n{nicht} und abstractPart Abstract and Abstract und es gibt nicht Abstract um Abstract ist ein fall von MultipoleSection %n{nicht} und abstractPart Abstract and Abstract und Abstract ist gleich Abstract nicht
(=> (recordForAgreement ?CBP ?A) (not (exists (?P) (and (not (equal ?P ?A)) (not (abstractPart ?P ?A)) (containsInformation ?CBP ?P)))))	Law.kif 504-513	Wenn recordForAgreement ContentBearingPhysical and Agreement, dann es gibt nicht Proposition um Proposition ist gleich Agreement nicht und abstractPart Proposition and Agreement und ContentBearingPhysical enthaelt Informationen ueber Proposition

appearance as argument number 0

(abstractPart NewtonsFirstLaw NewtonsLaw)	engineering.kif 1250-1250	abstractPart NewtonsFirstLaw and NewtonsLaw
(abstractPart NewtonsSecondLaw NewtonsLaw)	engineering.kif 1257-1257	abstractPart NewtonsSecondLaw and NewtonsLaw
(abstractPart NewtonsThirdLaw NewtonsLaw)	engineering.kif 1262-1262	abstractPart NewtonsThirdLaw and NewtonsLaw

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: