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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Partnership
Partnership

appearance as argument number 1
-------------------------


(documentation Partnership EnglishLanguage "A Business that is owned by more than one person.") Mid-level-ontology.kif 7431-7432
(subclass Partnership Business) Mid-level-ontology.kif 7430-7430

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


(subclass FamilyBusiness Partnership) Mid-level-ontology.kif 7483-7483
(termFormat ChineseLanguage Partnership "合伙") domainEnglishFormat.kif 44630-44630
(termFormat ChineseTraditionalLanguage Partnership "合夥") domainEnglishFormat.kif 44629-44629
(termFormat EnglishLanguage Partnership "partnership") domainEnglishFormat.kif 44628-44628

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


(=>
    (instance ?C Partnership)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 Human)
            (instance ?H2 Human)
            (not
                (equal ?H1 ?H2))
            (possesses ?H1 ?C)
            (possesses ?H2 ?C))))
Mid-level-ontology.kif 7434-7442


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 3.0 is open source software produced by Articulate Software and its partners