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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AgriculturalArtifact

Sigma KEE - AgriculturalArtifact
AgriculturalArtifact

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


(documentation AgriculturalArtifact EnglishLanguage "AgriculturalArtifact is the subclass of OrganicThing that comprises the products/ results of agricultural activity.") Society.kif 978-979
(subclass AgriculturalArtifact Artifact) Society.kif 976-976

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


(subclass AnimalAgriculturalArtifact AgriculturalArtifact) Society.kif 991-991

appearance as argument number 3
-------------------------


(domainSubclass AgricultureFn 1 AgriculturalArtifact) Society.kif 1104-1104

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


(=>
    (instance ?AG Agriculture)
    (resultType ?AG AgriculturalArtifact))
Society.kif 980-982
(=>
    (instance ?CA CommercialAgriculture)
    (hasPurpose ?CA
        (exists (?SEL ?FOOD ?CF)
            (and
                (instance ?SEL Selling)
                (instance ?FOOD AgriculturalArtifact)
                (instance ?CF CommercialFarm)
                (patient ?SEL ?FOOD)
                (agent ?SEL ?CF)))))
Society.kif 1470-1478
(=>
    (instance ?PLANT CommercialFarm)
    (hasPurpose ?PLANT
        (exists (?MANUFACTURE ?AA)
            (and
                (instance ?MANUFACTURE Manufacture)
                (eventLocated ?MANUFACTURE ?PLANT)
                (instance ?AA AgriculturalArtifact)
                (result ?MANUFACTURE ?AA)))))
Society.kif 1484-1491


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners