No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1908-1908	Le nombre 3 argument de bidPrice est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1686-1686	Le nombre 2 argument de broker est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 360-360	Le nombre 2 argument de businessHours est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29948-29948	Le nombre 2 argument de buys est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1840-1840	Le nombre 3 argument de candidateForPosition est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4368-4368	Le nombre 1 argument de carries est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4444-4444	Le nombre 1 argument de chiefOfDiplomaticMission est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4447-4447	Le nombre 4 argument de chiefOfDiplomaticMission est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 965-965	Le nombre 2 argument de claimedTerritory est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 763-763	Le nombre 1 argument de colocatedAgent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15902-15902	Le nombre 1 argument de commentator est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 893-893	Le nombre 1 argument de confirmedRegisteredUser est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 881-881	Le nombre 3 argument de contestObject est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19680-19680	Le nombre 2 argument de contestParticipant est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20817-20817	Le nombre 2 argument de contractor est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 121-121	Le nombre 3 argument de corkageFee est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 458-458	Le nombre 2 argument de counselInCase est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13712-13712	Le nombre 1 argument de creator est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7720-7720	Le nombre 2 argument de customer est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 995-995	Le nombre 3 argument de dateUsed est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3687-3687	Le nombre 2 argument de dayPhone est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23321-23321	Le nombre 2 argument de deceptiveIdentifier est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 543-543	Le nombre 1 argument de deliveryRegion est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4632-4632	Le nombre 1 argument de diplomaticOrganizationType est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4634-4634	Le nombre 3 argument de diplomaticOrganizationType 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