No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3025-3025	Os valores retornados por ShipBerthingFn sao as sub-classes de ShipBerthing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 422-422	Os valores retornados por StartFn sao as sub-classes de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 436-436	Os valores retornados por StopFn sao as sub-classes de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Government.kif 2180-2180	Os valores retornados por SupremeCourtFn sao as sub-classes de SupremeCourt
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9397-9397	Os valores retornados por TemporalCompositionFn sao as sub-classes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1604-1604	Os valores retornados por TransitFn sao as sub-classes de Translocation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1567-1567	Os valores retornados por TransportationFn sao as sub-classes de Transporte
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1584-1584	Os valores retornados por TripFn sao as sub-classes de Transporte
No TPTP formula. May not be expressible in strict first order.	Government.kif 1730-1730	Os valores retornados por VotingFn sao as sub-classes de Voting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8974-8974	Os valores retornados por WeekFn sao as sub-classes de Semana
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8578-8578	Os valores retornados por YearFn sao as sub-classes de Ano

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