AutonomousAgent(agent) |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1908-1908 | The number 3 argument of bid price is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1686-1686 | The number 2 argument of broker is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 360-360 | The number 2 argument of business hours is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29960-29960 | The number 2 argument of buys is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1840-1840 | The number 3 argument of candidate for position is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4368-4368 | The number 1 argument of carries is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4444-4444 | The number 1 argument of chief of diplomatic mission is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4447-4447 | The number 4 argument of chief of diplomatic mission is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 965-965 | The number 2 argument of claimed territory is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 763-763 | The number 1 argument of colocated business is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15903-15903 | The number 1 argument of commentator is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 893-893 | The number 1 argument of confirmed registed user is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 881-881 | The number 3 argument of contest object is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19681-19681 | The number 2 argument of contest participant is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20818-20818 | The number 2 argument of contractor is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 121-121 | The number 3 argument of corkage fee is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 458-458 | The number 2 argument of counsel in case is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13713-13713 | The number 1 argument of creator is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7721-7721 | The number 2 argument of customer is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 995-995 | The number 3 argument of date used is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3687-3687 | The number 2 argument of day phone is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23322-23322 | The number 2 argument of deceptive identifier is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 543-543 | The number 1 argument of delivery region is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4632-4632 | The number 1 argument of diplomatic organization type is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4634-4634 | The number 3 argument of diplomatic organization type is an instance of agent |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |