No TPTP formula. May not be expressible in strict first order.	Government.kif 1526-1526	CabinetFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5507-5507	CardinalityFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4781-4781	CeilingFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7637-7637	CenterOfCircleFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8038-8038	CitizenryFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5475-5475	ComplementFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 673-673	ConstitutionFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2832-2832	ConversionRateFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4799-4799	CosineFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29724-29724	CoveringFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 282-282	CurrencyFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6070-6070	CutSetFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4856-4856	DatumFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 114-114	DeadFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18237-18237	DeadOrMissingBodyPartFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30629-30629	DemonymFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4808-4808	DenominatorFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7460-7460	DescendantsFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4947-4947	DiameterFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3011-3011	DocumentFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9978-9978	EdemaFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Government.kif 1684-1684	ElectionFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1956-1956	ElevationHighPointFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1932-1932	ElevationLowPointFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2055-2055	EmailDomainPartFn est une instance de function unaire
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