AutonomousAgent(agent) |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3968-3979 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1596-1603 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3429-3433 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30255-30266 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3062-3075 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3091-3103 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2617-2622 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13015-13017 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1561-1564 |
|