No TPTP formula. May not be expressible in strict first order.	Merge.kif 7933-7933	O argumento numero 2 de temporalPart e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3867-3867	O argumento numero 2 de time e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2703-2703	O argumento numero 2 de visibilityInMeteorology e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 699-699	O argumento numero 2 de agreementAdoptionDate e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 759-759	O argumento numero 2 de agreementEffectiveDuring e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 730-730	O argumento numero 2 de agreementRevisionDate e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 2556-2556	O argumento numero 2 de dateDissolved e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 979-979	O argumento numero 2 de dateEstablished e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3071-3071	O argumento numero 2 de dateOpenedForSignature e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 1737-1737	O argumento numero 2 de electionDatePlannedForPosition e' uma sub-classe de Posicao Temporal

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