No TPTP formula. May not be expressible in strict first order.	Government.kif 4522-4522	Le nombre 1 argument de diplomaticRepresentationType est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4524-4524	Le nombre 3 argument de diplomaticRepresentationType est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4456-4456	Le nombre 1 argument de diplomaticRepresentativeInRole est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4459-4459	Le nombre 4 argument de diplomaticRepresentativeInRole est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2599-2599	Le nombre 1 argument de discovers est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 367-367	Le nombre 1 argument de distrusts est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 368-368	Le nombre 2 argument de distrusts est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 487-487	Le nombre 2 argument de dressCode est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 81-81	Le nombre 1 argument de economyType est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15498-15498	Le nombre 1 argument de editor est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1736-1736	Le nombre 1 argument de electionDatePlannedForPosition est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1874-1874	Le nombre 3 argument de electionWinner est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3008-3008	Le nombre 2 argument de emailAddress est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 140-140	Le nombre 1 argument de emotionTendency est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16660-16660	Le nombre 1 argument de employs est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2447-2447	Le nombre 1 argument de enemy est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2448-2448	Le nombre 2 argument de enemy est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1204-1204	Le nombre 1 argument de engineers est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3727-3727	Le nombre 2 argument de eveningPhone est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1282-1282	Le nombre 2 argument de executiveBranch est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2459-2459	Le nombre 2 argument de experiencer est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3929-3929	Le nombre 2 argument de exploits est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2372-2372	Le nombre 1 argument de exportPartner est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2373-2373	Le nombre 2 argument de exportPartner est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2350-2350	Le nombre 1 argument de exportPartnerInPeriod 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