No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1601-1607 |
LegalAgent est un attribut de entit� pendant position temporel entit� est capable de faire action l�gale dans le r�le agent entit� est capable de faire action l�gale dans le r�le patient pendant position temporel |
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 |