No TPTP formula. May not be expressible in strict first order.	Merge.kif 3928-3928	Le nombre 1 argument de exploits est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16976-16976	Le nombre 1 argument de faces est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Dining.kif 330-330	Le nombre 2 argument de facility est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10045-10045	Le nombre 1 argument de fills est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23851-23851	Le nombre 2 argument de financialAsset est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 1079-1079	Le nombre 1 argument de grainSize est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11519-11519	Le nombre 2 argument de grasps est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18660-18660	Le nombre 2 argument de hasAward est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5870-5870	Le nombre 2 argument de hazardous est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3714-3714	Le nombre 1 argument de headingWRTCompassNorth est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3705-3705	Le nombre 1 argument de headingWRTMagneticNorth est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3696-3696	Le nombre 1 argument de headingWRTTrueNorth est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 262-262	Le nombre 1 argument de highAltitudeWindSpeed est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 251-251	Le nombre 1 argument de highAltitudeWindVelocity est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14393-14393	Le nombre 2 argument de inhabits est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2472-2472	Le nombre 2 argument de instrument est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7774-7774	Le nombre 1 argument de larger est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7775-7775	Le nombre 2 argument de larger est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 743-743	Le nombre 1 argument de lastRenovation est une instance de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1313-1313	Le nombre 2 argument de loanForPurchase est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4076-4076	Le nombre 2 argument de located est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23298-23298	Le nombre 1 argument de locatedAtTime est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23300-23300	Le nombre 3 argument de locatedAtTime est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 214-214	Le nombre 1 argument de lowAltitudeWindSpeed est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 202-202	Le nombre 1 argument de lowAltitudeWindVelocity 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