appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14135-14138 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5931-5931 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14133-14133 | Contract is a subattribute of active agreement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14134-14134 | Contract is a subattribute of promise |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14140-14140 | Naked promise is the opposite of contract |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2300-2300 | Civil affairs agreement is a subattribute of contract |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2892-2892 | Early termination fee clause is a subattribute of contract |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 52-52 | Financial contract is a subattribute of contract |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1468-1468 | Loan commitment is a subattribute of contract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14165-14165 | Marriage contract is a subattribute of contract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14178-14178 | Purchase contract is a subattribute of contract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14194-14194 | Service contract is a subattribute of contract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14216-14216 | Treaty is a subattribute of contract |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16998-16998 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16997-16997 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16996-16996 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 995-1000 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14149-14163 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14142-14147 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20823-20836 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 979-984 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7142-7144 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14123-14127 |
|