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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoffeaArabica
CoffeaArabica(coffea arabica)

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


(documentation CoffeaArabica EnglishLanguage "CoffeaArabica is a subclass of CoffeePlant, representing about 60% of global production. It is more acidic, less bitter and contained less Caffeine (~1.5%) than CoffeaRobusta plant.[Wikipedia]") Economy.kif 4612-4614
(subclass CoffeaArabica CoffeePlant) Economy.kif 4611-4611 Coffea arabica is a subclass of coffee plant

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


(termFormat EnglishLanguage CoffeaArabica "coffea arabica") Economy.kif 4615-4615

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


(=>
    (instance ?P
        (PlantFn CoffeeArabica))
    (instance ?P CoffeaArabica))
Economy.kif 4641-4643


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