No TPTP formula. May not be expressible in strict first order.	Hotel.kif 612-612	Le nombre 1 argument de propertyPolicy est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 125-125	Le nombre 1 argument de punishes est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 126-126	Le nombre 2 argument de punishes est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3015-3015	Le nombre 2 argument de ratingsAgent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1682-1682	Le nombre 2 argument de referee est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 854-854	Le nombre 1 argument de registeredUser est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29984-29984	Le nombre 1 argument de rents est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29985-29985	Le nombre 2 argument de rents est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4593-4593	Le nombre 1 argument de representativeAgentToAgent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4594-4594	Le nombre 2 argument de representativeAgentToAgent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4595-4595	Le nombre 3 argument de representativeAgentToAgent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4466-4466	Le nombre 3 argument de representsForAgent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 656-656	Le nombre 1 argument de reservingEntity est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 81-81	Le nombre 1 argument de rewards est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 82-82	Le nombre 2 argument de rewards est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1646-1646	Le nombre 1 argument de roleAppointsRole est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1656-1656	Le nombre 1 argument de roleApprovesRole est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1666-1666	Le nombre 1 argument de roleNominatesRole est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1913-1913	Le nombre 2 argument de seatsHeldInOrganization est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1904-1904	Le nombre 2 argument de seatsWonInElection est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30872-30872	Le nombre 1 argument de shortage est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24602-24602	Le nombre 2 argument de siteForContact est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 370-370	Le nombre 2 argument de standardRetailHours est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 315-315	Le nombre 3 argument de subjectiveAttribute est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29569-29569	Le nombre 2 argument de suffers 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