| (subclass Agreement Proposition) | Mid-level-ontology.kif 13957-13957 | Agreement is a subclass of proposition |
| (subclass LicenseAgreement Agreement) | Media.kif 162-162 | License agreement is a subclass of agreement |
| (subclass InternationalAgreement Agreement) | Geography.kif 2996-2996 | International agreement is a subclass of agreement |
| (subclass FinancialAccount Agreement) | FinancialOntology.kif 58-58 | Financial account is a subclass of agreement |
| (subclass Reservation Agreement) | Dining.kif 639-639 | Reservation is a subclass of agreement |
| (subclass Account Agreement) | ComputingBrands.kif 4539-4539 | Account is a subclass of agreement |
|
|