| (subclass Agreement Proposition) | Mid-level-ontology.kif 13423-13423 | |
| (subclass LicenseAgreement Agreement) | Media.kif 162-162 | |
| (subclass InternationalAgreement Agreement) | Geography.kif 2918-2918 | |
| (subclass FinancialAccount Agreement) | FinancialOntology.kif 58-58 | |
| (subclass Reservation Agreement) | Dining.kif 593-593 | |
| (subclass Account Agreement) | ComputingBrands.kif 4502-4502 |
|
|