No TPTP formula. May not be expressible in strict first order.	Geography.kif 5892-5892	Le nombre 2 argument de maritimeHazard est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 239-239	Le nombre 1 argument de mediumAltitudeWindSpeed est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 228-228	Le nombre 1 argument de mediumAltitudeWindVelocity est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9590-9590	Le nombre 1 argument de meetsSpatially est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9591-9591	Le nombre 2 argument de meetsSpatially est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11002-11002	Le nombre 2 argument de moves est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 324-324	Le nombre 1 argument de objectGeographicCoordinates est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11355-11355	Le nombre 2 argument de objectTransferred est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Justice.kif 31-31	Le nombre 1 argument de observedAtTimeInPlace est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Justice.kif 34-34	Le nombre 4 argument de observedAtTimeInPlace est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 402-402	Le nombre 1 argument de older est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 403-403	Le nombre 2 argument de older est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22765-22765	Le nombre 1 argument de operator est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3373-3373	Le nombre 1 argument de orbits est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16934-16934	Le nombre 1 argument de orientation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16935-16935	Le nombre 2 argument de orientation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2483-2483	Le nombre 2 argument de origin est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9643-9643	Le nombre 1 argument de overlapsPartially est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9644-9644	Le nombre 2 argument de overlapsPartially est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 917-917	Le nombre 1 argument de part est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 918-918	Le nombre 2 argument de part est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9999-9999	Le nombre 1 argument de partiallyFills est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4046-4046	Le nombre 2 argument de partlyLocated est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11098-11098	Le nombre 2 argument de path est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9864-9864	Le nombre 1 argument de phMeasure est une instance de objet
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