No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24762-24767	PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24675-24680	PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance de Neighborhood postNeighborhood PostalPlace and Neighborhood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24746-24751	PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24712-24719	PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1517-1522	annualExpendituresOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel annualExpendituresOfArea secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1488-1493	annualRevenuesOfAreaInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel annualRevenuesOfArea secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14999-15003	LiteracyAttribute est un attribut de AutonomousAgent AutonomousAgent a la capacit� de faire lire AutonomousAgent a la capacit� de faire �crire
No TPTP formula. May not be expressible in strict first order.	People.kif 676-678	BeliefGroupMemberFn BeliefGroup est un attribut de objet objet est un membre de BeliefGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 702-704	Agnostic est un attribut de objet objet est un membre de Agnosticism
No TPTP formula. May not be expressible in strict first order.	People.kif 1347-1349	AhmadiyyaMuslim est un attribut de objet objet est un membre de AhmadiyyaSect
No TPTP formula. May not be expressible in strict first order.	People.kif 1225-1227	Anglican est un attribut de objet objet est un membre de Anglicanism
No TPTP formula. May not be expressible in strict first order.	People.kif 1233-1235	Anglican est un attribut de objet objet est un membre de ChurchOfEngland
No TPTP formula. May not be expressible in strict first order.	People.kif 720-722	Atheist est un attribut de objet objet est un membre de Atheism
No TPTP formula. May not be expressible in strict first order.	People.kif 757-759	Bahai est un attribut de objet objet est un membre de Bahaism
No TPTP formula. May not be expressible in strict first order.	People.kif 769-771	Buddhist est un attribut de objet objet est un membre de Buddhism
No TPTP formula. May not be expressible in strict first order.	People.kif 1306-1308	Confucianist est un attribut de objet objet est un membre de Confucianism
No TPTP formula. May not be expressible in strict first order.	People.kif 1361-1363	DruzeMuslim est un attribut de objet objet est un membre de DruzeSect
No TPTP formula. May not be expressible in strict first order.	People.kif 1247-1249	EasternOrthodoxChristian est un attribut de objet objet est un membre de EasternOrthodoxChristianity
No TPTP formula. May not be expressible in strict first order.	People.kif 1318-1320	Hindu est un attribut de objet objet est un membre de Hinduism
No TPTP formula. May not be expressible in strict first order.	People.kif 1411-1413	Jain est un attribut de objet objet est un membre de Jainism
No TPTP formula. May not be expressible in strict first order.	People.kif 1330-1332	Muslim est un attribut de objet objet est un membre de Islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1457-1459	Neopaganismist est un attribut de objet objet est un membre de Neopaganism
No TPTP formula. May not be expressible in strict first order.	People.kif 1261-1263	Protestant est un attribut de objet objet est un membre de Protestantism
No TPTP formula. May not be expressible in strict first order.	People.kif 1428-1430	ReligiousJew est un attribut de objet objet est un membre de Judaism
No TPTP formula. May not be expressible in strict first order.	People.kif 1283-1285	RomanCatholic est un attribut de objet objet est un membre de RomanCatholicChurch
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