No TPTP formula. May not be expressible in strict first order.	Government.kif 1020-1020	O argumento numero 1 de suffrageAgeMaximum e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 948-948	O argumento numero 1 de suffrageAgeMinimum e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24860-24860	O argumento numero 2 de telecomContactDevice e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24986-24986	O argumento numero 2 de telephoneNumber e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6903-6903	O argumento numero 1 de tenant e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1676-1676	O argumento numero 1 de termLength e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3927-3927	O argumento numero 3 de thirdPartyProduct e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 356-356	O argumento numero 1 de trusts e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 357-357	O argumento numero 2 de trusts e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 446-446	O argumento numero 2 de unpaidItem e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3104-3104	O argumento numero 1 de unratifiedSignatoryToAgreement e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4669-4669	O argumento numero 2 de uses e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 762-762	O argumento numero 1 de viewedItemList e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1532-1532	O argumento numero 1 de viewedListing e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1161-1161	O argumento numero 1 de visitorParameter e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1859-1859	O argumento numero 3 de voteFractionReceived e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1241-1241	O argumento numero 1 de watchingListings e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2948-2948	O argumento numero 1 de webVisitor e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 680-680	O argumento numero 1 de webcart e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25048-25048	O argumento numero 2 de workPhoneNumber e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22816-22816	O argumento numero 2 de typicalAction e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 231-231	O argumento numero 2 de validFor e' uma sub-classe de AutonomousAgent

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