No TPTP formula. May not be expressible in strict first order.	Economy.kif 2351-2351	Le nombre 2 argument de exportPartnerInPeriod est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 331-331	Le nombre 1 argument de facility est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25152-25152	Le nombre 2 argument de faxNumber est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23850-23850	Le nombre 1 argument de financialAsset est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3681-3681	Le nombre 1 argument de fiscalYearPeriod est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3521-3521	Le nombre 1 argument de fleetSize est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 686-686	Le nombre 1 argument de fulfillingEntity est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23436-23436	Le nombre 2 argument de gainsControl est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 128-128	Le nombre 1 argument de governmentType est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2964-2964	Le nombre 1 argument de grossMerchandiseBoughtInPeriod est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2993-2993	Le nombre 1 argument de grossMerchandiseSoldInPeriod est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 67-67	Le nombre 2 argument de guest est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2070-2070	Le nombre 1 argument de hasAccount est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18659-18659	Le nombre 1 argument de hasAward est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3963-3963	Le nombre 3 argument de hasPurposeForAgent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3981-3981	Le nombre 2 argument de hasSkill est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2660-2660	Le nombre 1 argument de importPartner est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2661-2661	Le nombre 2 argument de importPartner est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2638-2638	Le nombre 1 argument de importPartnerInPeriod est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2639-2639	Le nombre 2 argument de importPartnerInPeriod est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18365-18365	Le nombre 1 argument de inhibits est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 240-240	Le nombre 1 argument de jailer est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2095-2095	Le nombre 2 argument de judicialBranch est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6887-6887	Le nombre 1 argument de landlord est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1612-1612	Le nombre 1 argument de leader 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