No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1601-1607 |
Legal agent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position |
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 10685-10696 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10672-10683 |
|
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 12014-12026 |
|
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 1417-1436 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1395-1413 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2942-2947 |
|
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 9561-9574 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2949-2957 |
|
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 3910-3916 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |