No TPTP formula. May not be expressible in strict first order.	Merge.kif 7955-7955	Le nombre 2 argument de temporalPart est une instance de position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3867-3867	Le nombre 2 argument de time est une instance de position temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2699-2699	Le nombre 2 argument de visibilityInMeteorology est une instance de position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 699-699	Le nombre 2 argument de agreementAdoptionDate est une sous-classe de position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 759-759	Le nombre 2 argument de agreementEffectiveDuring est une sous-classe de position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 730-730	Le nombre 2 argument de agreementRevisionDate est une sous-classe de position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 2556-2556	Le nombre 2 argument de dateDissolved est une sous-classe de position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 979-979	Le nombre 2 argument de dateEstablished est une sous-classe de position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3071-3071	Le nombre 2 argument de dateOpenedForSignature est une sous-classe de position temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 1737-1737	Le nombre 2 argument de electionDatePlannedForPosition est une sous-classe de position temporel

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