Offering(offering)![]() ![]() ![]() ![]() | ![]() | 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 |
![]() |
![]() |
![]() |