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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Offering
Offering(offering)
more pictures...
offer, sale, upgrade, volunteer

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3276-3278
No TPTP formula. May not be expressible in strict first order. Merge.kif 13389-13393
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11526-11526
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11525-11525
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11531-11531
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10157-10157
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11532-11532
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11527-11527
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11529-11529
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11530-11530
No TPTP formula. May not be expressible in strict first order. Merge.kif 13387-13387 Offering is a subclass of committing

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9011-9011 Bargain sale is a subclass of offering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8994-8994 Offering for sale is a subclass of offering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9008-9008 Offering to purchase is a subclass of offering
No TPTP formula. May not be expressible in strict first order. Merge.kif 10831-10831 Volunteering is a subclass of offering
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41670-41670 Volunteering is a subclass of offering
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41669-41669 Volunteering is a subclass of offering
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41668-41668 Volunteering is a subclass of offering

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


No TPTP formula. May not be expressible in strict first order. Law.kif 532-546
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1950-1960
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1929-1939


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