No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3968-3968 |
Closed service is an instance of service attribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3954-3954 |
Open service is an instance of service attribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52221-52221 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52220-52220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52219-52219 |
|