No TPTP formula. May not be expressible in strict first order.	Economy.kif 1527-1527	Le nombre 1 argument de capitalExpendituresOfAreaInPeriod est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4733-4733	Le nombre 1 argument de chanceryAddressInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4735-4735	Le nombre 3 argument de chanceryAddressInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4764-4764	Le nombre 1 argument de chanceryFAXNumberInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4766-4766	Le nombre 3 argument de chanceryFAXNumberInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4743-4743	Le nombre 1 argument de chanceryMailingAddressInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4745-4745	Le nombre 3 argument de chanceryMailingAddressInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4754-4754	Le nombre 1 argument de chanceryTelephoneNumberInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4756-4756	Le nombre 3 argument de chanceryTelephoneNumberInArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1552-1552	Le nombre 1 argument de chiefOfState est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1577-1577	Le nombre 1 argument de chiefOfStateType est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Communications.kif 133-133	Le nombre 1 argument de communicationSatelliteForArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2872-2872	Le nombre 1 argument de currencyType est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 85-85	Le nombre 1 argument de dependentAreaOfType est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 86-86	Le nombre 2 argument de dependentAreaOfType est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 459-459	Le nombre 1 argument de dependentGeopoliticalArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 460-460	Le nombre 2 argument de dependentGeopoliticalArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4546-4546	Le nombre 1 argument de diplomaticRelations est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4547-4547	Le nombre 2 argument de diplomaticRelations est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 47-47	Le nombre 1 argument de disputedPossession est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 48-48	Le nombre 2 argument de disputedPossession est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 49-49	Le nombre 3 argument de disputedPossession est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 64-64	Le nombre 1 argument de drugShipmentDestination est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 66-66	Le nombre 3 argument de drugShipmentDestination est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2805-2805	Le nombre 1 argument de economicAidDonated est une instance de secteur g�opolitique
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