No TPTP formula. May not be expressible in strict first order.	Government.kif 1435-1435	Le nombre 1 argument de leaderPosition est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2001-2001	Le nombre 2 argument de legislativeBranch est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 102-102	Le nombre 2 argument de listingBidder est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 78-78	Le nombre 2 argument de listingBuyer est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 49-49	Le nombre 2 argument de listingSeller est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4329-4329	Le nombre 1 argument de loggedInDuring est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23450-23450	Le nombre 2 argument de losesControl est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 646-646	Le nombre 2 argument de managedBy est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15029-15029	Le nombre 2 argument de manufacturer est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25118-25118	Le nombre 2 argument de mobilePhoneNumber est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Justice.kif 32-32	Le nombre 2 argument de observedAtTimeInPlace est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 82-82	Le nombre 1 argument de offers est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 126-126	Le nombre 1 argument de offersAtTime est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22766-22766	Le nombre 2 argument de operator est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 627-627	Le nombre 1 argument de orgStaff est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2593-2593	Le nombre 1 argument de organizationalObjective est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 21-21	Le nombre 1 argument de permits est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1693-1693	Le nombre 2 argument de plays est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4245-4245	Le nombre 1 argument de possesses est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24611-24611	Le nombre 2 argument de postContactSite est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 808-808	Le nombre 2 argument de potentialCustomer est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7737-7737	Le nombre 3 argument de price est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 206-206	Le nombre 4 argument de priceRange est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 43-43	Le nombre 1 argument de prohibits est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 501-501	Le nombre 1 argument de propertyAmenity est une instance de AutonomousAgent
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