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 22842-22843
(domain abstractPart 1 Abstract)	Mid-level-ontology.kif 22847-22847	Le nombre 1 argument de abstractPart est une instance de abstrait
(domain abstractPart 2 Abstract)	Mid-level-ontology.kif 22848-22848	Le nombre 2 argument de abstractPart est une instance de abstrait
(instance abstractPart BinaryPredicate)	Mid-level-ontology.kif 22846-22846	abstractPart est une instance de pr�dicat binaire
(instance abstractPart PartialOrderingRelation)	Mid-level-ontology.kif 22845-22845	abstractPart est une instance de relation partiellement dirig�e

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

Abstrait est une instance de MultipolePole abstractPart abstrait and abstrait
abstrait abstrait est une instance de MultipoleSection abstractPart abstrait and abstrait abstractPart abstrait and abstrait

consequent

(=> (and (instance ?POLE MultipolePole) (abstractPart ?POLE ?MULTIPOLE)) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?POLE ?SECTION) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 391-399	Abstrait est une instance de MultipolePole abstractPart abstrait and abstrait abstrait abstrait est une instance de MultipoleSection abstractPart abstrait and abstrait abstractPart abstrait and abstrait
(=> (instance ?MULTIPOLE Multipole) (exists (?SECTION) (and (instance ?SECTION MultipoleSection) (abstractPart ?SECTION ?MULTIPOLE))))	engineering.kif 436-441	Abstrait est une instance de Multipole abstrait abstrait est une instance de MultipoleSection abstractPart abstrait and abstrait
(=> (instance ?ONT Ontology) (exists (?TAX) (and (instance ?TAX Taxonomy) (abstractPart ?TAX ?ONT))))	Mid-level-ontology.kif 22861-22866	Abstrait est une instance de Ontology abstrait abstrait est une instance de Taxonomy abstractPart abstrait and abstrait
(=> (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	Abstrait est une instance de MultipolePort abstrait abstrait and abstrait abstrait est une instance de MultipolePole abstrait est une instance de MultipolePole abstrait est une instance de MultipolePole abstractPart abstrait and abstrait abstractPart abstrait and abstrait abstractPart abstrait and abstrait abstrait est abstrait abstrait est abstrait abstrait est abstrait
(=> (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	Abstrait est une instance de MultipoleSection abstrait abstrait abstrait est une instance de MultipolePole abstrait est une instance de MultipolePole abstractPart abstrait and abstrait abstractPart abstrait and abstrait abstrait est abstrait
(=> (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	Abstrait est une instance de Twopole abstrait abstrait est une instance de MultipolePort abstractPart abstrait and abstrait abstrait abstrait est une instance de MultipoleSection abstractPart abstrait and abstrait abstrait est abstrait
(=> (recordForAgreement ?CBP ?A) (not (exists (?P) (and (not (equal ?P ?A)) (not (abstractPart ?P ?A)) (containsInformation ?CBP ?P)))))	Law.kif 504-513	recordForAgreement ContentBearingPhysical and Agreement proposition proposition est Agreement abstractPart proposition and Agreement ContentBearingPhysical contient information 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: