No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1601-1607 |
LegalAgent e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Acao Legal no role agent Entidade e' capaz de fazer Acao Legal no role patient vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 599-604 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10712-10723 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10699-10710 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1935-1946 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 48-56 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3552-3557 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3545-3550 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2477-2481 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3496-3510 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 532-536 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12060-12072 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1029-1033 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1410-1429 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1388-1406 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2994-2999 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7242-7257 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7600-7618 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 954-977 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 437-441 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 579-584 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9588-9601 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3001-3009 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 233-245 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3911-3917 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |