No TPTP formula. May not be expressible in strict first order.	Merge.kif 1778-1778	Le nombre 2 argument de AttrFn est une instance de attribut
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3193-3193	Le nombre 1 argument de AuctionGMBFn est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Military.kif 865-865	Le nombre 1 argument de AvailableForMilitaryServiceMaleFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3271-3271	Le nombre 1 argument de AverageFn est une instance de liste
No TPTP formula. May not be expressible in strict first order.	Merge.kif 898-898	Le nombre 1 argument de BackFn est une instance de objet en une partie
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7982-7982	Le nombre 1 argument de BeginFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5942-5942	Le nombre 1 argument de BeginNodeFn est une instance de chemin du graph
No TPTP formula. May not be expressible in strict first order.	People.kif 673-673	Le nombre 1 argument de BeliefGroupMemberFn est une instance de BeliefGroup
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2912-2912	Le nombre 1 argument de BidCountFn est une instance de collection
No TPTP formula. May not be expressible in strict first order.	People.kif 69-69	Le nombre 1 argument de BirthsPerThousandFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 70-70	Le nombre 2 argument de BirthsPerThousandFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14971-14971	Le nombre 1 argument de BodySideFn est une instance de AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 688-688	Le nombre 1 argument de BorderFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 689-689	Le nombre 2 argument de BorderFn est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2878-2878	Le nombre 1 argument de BoughtItemsFn est une instance de collection
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1319-1319	Le nombre 1 argument de CPUUtilizationFn est une instance de programme d'ordinateur
No TPTP formula. May not be expressible in strict first order.	Government.kif 1527-1527	Le nombre 1 argument de CabinetFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5508-5508	Le nombre 1 argument de CardinalityFn est une instance de l' union de ensemble ou classe et collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4783-4783	Le nombre 1 argument de CeilingFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1168-1168	Le nombre 1 argument de CellPartFn est une instance de cellule
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7639-7639	Le nombre 1 argument de CenterOfCircleFn est une instance de Circle
No TPTP formula. May not be expressible in strict first order.	People.kif 441-441	Le nombre 1 argument de ChildrenBornPerWomanFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	People.kif 442-442	Le nombre 2 argument de ChildrenBornPerWomanFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	Le nombre 1 argument de CitizenryFn est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3327-3327	Le nombre 1 argument de ClickThroughRateFn est une instance de collection
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