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


KB Term:  Term intersection
English Word: 

  property

 Sigma KEE - CapitalMeanOfProduction
CapitalMeanOfProduction(capital goods)

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


(documentation CapitalMeanOfProduction EnglishLanguage "Wealth in the form of money or property owned by a person or business and human resources of economic value.") Economy.kif 6130-6130
(subAttribute CapitalMeanOfProduction MeanOfProduction) Economy.kif 6131-6131 Capital goods is a subattribute of mean of production

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


(termFormat EnglishLanguage CapitalMeanOfProduction "capital") Economy.kif 6132-6132
(termFormat EnglishLanguage CapitalMeanOfProduction "capital goods") Economy.kif 6133-6133

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


(=>
    (and
        (instance ?CG CapitalMeanOfProduction)
        (attribute ?CGO ?CG))
    (exists (?A ?MONEY ?AGENT ?PROPERTYITEM)
        (or
            (and
                (instance ?MONEY Currency)
                (equal ?CGO ?MONEY))
            (and
                (element ?PROPERTYITEM
                    (PropertyFn ?AGENT))
                (equal ?PROPERTYITEM ?CGO))
            (and
                (instance ?A Artifact)
                (equal ?CGO ?A)))))		 Economy.kif 6135-6149 If X is an instance of capital goods and X is an attribute of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that W is an instance of currency (3) equal Y (4) W, U is an element of belongings of V (5) equal U (6) Y, or Z is an instance of artifact (7) equal Y (8) Z


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