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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners