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 22789-22790
(domain abstractPart 1 Abstract) Mid-level-ontology.kif 22794-22794 抽象的部分, 1 and Abstract
(domain abstractPart 2 Abstract) Mid-level-ontology.kif 22795-22795 抽象的部分, 2 and Abstract
(instance abstractPart BinaryPredicate) Mid-level-ontology.kif 22793-22793 抽象的部分 and BinaryPredicate
(instance abstractPart PartialOrderingRelation) Mid-level-ontology.kif 22792-22792 抽象的部分 and PartialOrderingRelation

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


(format EnglishLanguage abstractPart "%1 is %n a part of %2") Mid-level-ontology.kif 22796-22796
(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 22791-22791

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


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

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


(=>
    (and
        (instance ?POLE MultipolePole)
        (abstractPart ?POLE ?MULTIPOLE))
    (exists (?SECTION)
        (and
            (instance ?SECTION MultipoleSection)
            (abstractPart ?POLE ?SECTION)
            (abstractPart ?SECTION ?MULTIPOLE))))
engineering.kif 391-399
(=>
    (instance ?MULTIPOLE Multipole)
    (exists (?SECTION)
        (and
            (instance ?SECTION MultipoleSection)
            (abstractPart ?SECTION ?MULTIPOLE))))
engineering.kif 436-441
(=>
    (instance ?ONT Ontology)
    (exists (?TAX)
        (and
            (instance ?TAX Taxonomy)
            (abstractPart ?TAX ?ONT))))
Mid-level-ontology.kif 22808-22813
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (recordForAgreement ?CBP ?A)
    (not
        (exists (?P)
            (and
                (not
                    (equal ?P ?A))
                (not
                    (abstractPart ?P ?A))
                (containsInformation ?CBP ?P)))))
Law.kif 504-513

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