Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  abstractPart

Sigma KEE - abstractPart
abstractPart

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 22212-22213
(domain abstractPart 1 Abstract) Mid-level-ontology.kif 22217-22217
(domain abstractPart 2 Abstract) Mid-level-ontology.kif 22218-22218
(instance abstractPart BinaryPredicate) Mid-level-ontology.kif 22216-22216
(instance abstractPart PartialOrderingRelation) Mid-level-ontology.kif 22215-22215

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (instance ?POLE MultipolePole)
        (abstractPart ?POLE ?MULTIPOLE))
    (exists (?SECTION)
        (and
            (instance ?SECTION MultipoleSection)
            (abstractPart ?POLE ?SECTION)
            (abstractPart ?SECTION ?MULTIPOLE))))
engineering.kif 390-398

consequent
-------------------------


(=>
    (and
        (instance ?POLE MultipolePole)
        (abstractPart ?POLE ?MULTIPOLE))
    (exists (?SECTION)
        (and
            (instance ?SECTION MultipoleSection)
            (abstractPart ?POLE ?SECTION)
            (abstractPart ?SECTION ?MULTIPOLE))))
engineering.kif 390-398
(=>
    (instance ?MULTIPOLE Multipole)
    (exists (?SECTION)
        (and
            (instance ?SECTION MultipoleSection)
            (abstractPart ?SECTION ?MULTIPOLE))))
engineering.kif 433-438
(=>
    (instance ?ONT Ontology)
    (exists (?TAX)
        (and
            (instance ?TAX Taxonomy)
            (abstractPart ?TAX ?ONT))))
Mid-level-ontology.kif 22231-22236
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (recordForAgreement ?CBP ?A)
    (not
        (exists (?P)
            (and
                (not
                    (equal ?P ?A))
                (not
                    (abstractPart ?P ?A))
                (containsInformation ?CBP ?P)))))
Law.kif 552-561

Show without tree


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