No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24762-24767	PostalPlace e' situado em Cidade PostalPlace e' uma instancia de PostalPlace Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24675-24680	PostalPlace e' situado em Neighborhood PostalPlace e' uma instancia de PostalPlace Neighborhood e' uma instancia de Neighborhood postNeighborhood PostalPlace and Neighborhood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24746-24751	PostalPlace e' situado em Estado ou Provincia PostalPlace e' uma instancia de PostalPlace Estado ou Provincia e' uma instancia de Estado ou Provincia postDistrict PostalPlace and Estado ou Provincia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24712-24719	PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1517-1522	annualExpendituresOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualExpendituresOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1488-1493	annualRevenuesOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualRevenuesOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14999-15003	LiteracyAttribute e' um atributo de AutonomousAgent AutonomousAgent tem a capacidade de fazer Ler AutonomousAgent tem a capacidade de fazer Escrever
No TPTP formula. May not be expressible in strict first order.	People.kif 676-678	BeliefGroupMemberFn BeliefGroup e' um atributo de Objeto Objeto e' membro de BeliefGroup
No TPTP formula. May not be expressible in strict first order.	People.kif 702-704	Agnostic e' um atributo de Objeto Objeto e' membro de Agnosticism
No TPTP formula. May not be expressible in strict first order.	People.kif 1347-1349	AhmadiyyaMuslim e' um atributo de Objeto Objeto e' membro de AhmadiyyaSect
No TPTP formula. May not be expressible in strict first order.	People.kif 1225-1227	Anglican e' um atributo de Objeto Objeto e' membro de Anglicanism
No TPTP formula. May not be expressible in strict first order.	People.kif 1233-1235	Anglican e' um atributo de Objeto Objeto e' membro de ChurchOfEngland
No TPTP formula. May not be expressible in strict first order.	People.kif 720-722	Atheist e' um atributo de Objeto Objeto e' membro de Atheism
No TPTP formula. May not be expressible in strict first order.	People.kif 757-759	Bahai e' um atributo de Objeto Objeto e' membro de Bahaism
No TPTP formula. May not be expressible in strict first order.	People.kif 769-771	Buddhist e' um atributo de Objeto Objeto e' membro de Buddhism
No TPTP formula. May not be expressible in strict first order.	People.kif 1306-1308	Confucianist e' um atributo de Objeto Objeto e' membro de Confucianism
No TPTP formula. May not be expressible in strict first order.	People.kif 1361-1363	DruzeMuslim e' um atributo de Objeto Objeto e' membro de DruzeSect
No TPTP formula. May not be expressible in strict first order.	People.kif 1247-1249	EasternOrthodoxChristian e' um atributo de Objeto Objeto e' membro de EasternOrthodoxChristianity
No TPTP formula. May not be expressible in strict first order.	People.kif 1318-1320	Hindu e' um atributo de Objeto Objeto e' membro de Hinduism
No TPTP formula. May not be expressible in strict first order.	People.kif 1411-1413	Jain e' um atributo de Objeto Objeto e' membro de Jainism
No TPTP formula. May not be expressible in strict first order.	People.kif 1330-1332	Muslim e' um atributo de Objeto Objeto e' membro de Islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1457-1459	Neopaganismist e' um atributo de Objeto Objeto e' membro de Neopaganism
No TPTP formula. May not be expressible in strict first order.	People.kif 1261-1263	Protestant e' um atributo de Objeto Objeto e' membro de Protestantism
No TPTP formula. May not be expressible in strict first order.	People.kif 1428-1430	ReligiousJew e' um atributo de Objeto Objeto e' membro de Judaism
No TPTP formula. May not be expressible in strict first order.	People.kif 1283-1285	RomanCatholic e' um atributo de Objeto Objeto e' membro 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