Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Proprietorship

 Sigma KEE - Proprietorship
Proprietorship(proprietorship)proprietary, proprietorship

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


(subclass Proprietorship Business) Mid-level-ontology.kif 8601-8601 Proprietorship is a subclass of business
(documentation Proprietorship EnglishLanguage "A Business that is owned by a single person.") Mid-level-ontology.kif 8602-8603 Proprietorship is a subclass of business

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


(termFormat EnglishLanguage Proprietorship "proprietorship") domainEnglishFormat.kif 47809-47809
(termFormat ChineseTraditionalLanguage Proprietorship "所有權") domainEnglishFormat.kif 47810-47810
(termFormat ChineseLanguage Proprietorship "所有权") domainEnglishFormat.kif 47811-47811

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


(=>
    (instance ?C Proprietorship)
    (exists (?H)
        (and
            (instance ?H Human)
            (possesses ?H ?C)
            (not
                (exists (?H2)
                    (and
                        (not
                            (equal ?H ?H2))
                        (possesses ?H2 ?C)))))))		 Mid-level-ontology.kif 8605-8615 If X is an instance of proprietorship, then there exists Y such that Y is an instance of human, Y possesses X, there doesn't exist Z such that equal Y, Z, and Z possesses X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners