No TPTP formula. May not be expressible in strict first order.	People.kif 1275-1277	RomanCatholic e' um atributo de Objeto Objeto e' membro de RomanCatholicism
No TPTP formula. May not be expressible in strict first order.	People.kif 1377-1379	ShiaMuslim e' um atributo de Objeto Objeto e' membro de ShiiteSect
No TPTP formula. May not be expressible in strict first order.	People.kif 1472-1474	Shintoist e' um atributo de Objeto Objeto e' membro de Shinto
No TPTP formula. May not be expressible in strict first order.	People.kif 1487-1489	Sikh e' um atributo de Objeto Objeto e' membro de Sikhism
No TPTP formula. May not be expressible in strict first order.	People.kif 1396-1398	SunniMuslim e' um atributo de Objeto Objeto e' membro de SunniSect
No TPTP formula. May not be expressible in strict first order.	People.kif 1502-1504	Taoist e' um atributo de Objeto Objeto e' membro de Taoism
No TPTP formula. May not be expressible in strict first order.	People.kif 1517-1519	Zoroastrian e' um atributo de Objeto Objeto e' membro de Zoroastrianism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 751-762	PolyphonicMusic e' um atributo de Objeto Processo Processo Objeto e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Objeto Processo e' um sub-processo de Objeto Processo e' igual a Processo Processo acontece ao mesmo tempo que Objeto Processo acontece ao mesmo tempo que Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 1400-1404	Queen e' um atributo de Objeto QueenRegnant e' um atributo de Objeto QueenConsort e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	OpenSea e' um atributo de Objeto Fisico Numero Real Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de LandlockedWater a distancia entre Fisico e Objeto e' Numero Real NauticalMile(s) Numero Real e' maior que 5.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23045-23050	aunt Woman and Humano Humano sister Woman and Humano Humano e' um genitor de Humano
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	average Lista and Numero Real Lista Inteiro positivo comprimento de Lista e' igual a comprimento de Lista 1th elemento de Lista e' igual a 1th elemento de Lista Inteiro positivo Inteiro positivo e' um membro de Lista Numero Real Numero RealMINUSONE, Inteiro positivo and Inteiro positivo Numero Real e' maior que 1 Numero Real e' menor ou igual a comprimento de Lista Inteiro positivoth elemento de Lista e' igual a Numero Real Inteiro positivo e' um membro de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' um membro de Lista Numero RealMINUSONE e' igual a ( Numero Real + 1) Numero RealMINUSONE e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' igual a ( Inteiro positivo + Inteiro positivo) Inteiro positivo e' igual a comprimento de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista + Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3943-3948	bankAccount FinancialAccount and BankFinancialOrganization FinancialAccount FinancialAccount e' uma instancia de FinancialAccount accountAt FinancialAccount and BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	beliefGroupPercentInRegion BeliefGroup, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de BeliefGroup Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1565-1570	capitalExpendituresOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal capitalExpendituresOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1934-1939	compressionRatio Engine and Numero Real minCylinderVolume Engine and Numero Real Unidade de Medida(s) maxCylinderVolume Engine and Unidade de MedidaAX Unidade de Medida(s) Numero Real e' igual a Numero Real + Unidade de MedidaAX
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3731-3733	courseWRTTrueNorth Objeto, Objeto and 0.0 AngularDegree(s) Objeto e' North em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3755-3757	courseWRTTrueNorth Objeto, Objeto and 135.0 AngularDegree(s) Objeto e' Southeast em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3739-3741	courseWRTTrueNorth Objeto, Objeto and 180.0 AngularDegree(s) Objeto e' South em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3759-3761	courseWRTTrueNorth Objeto, Objeto and 225.0 AngularDegree(s) Objeto e' Southwest em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3743-3745	courseWRTTrueNorth Objeto, Objeto and 270.0 AngularDegree(s) Objeto e' West em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3763-3765	courseWRTTrueNorth Objeto, Objeto and 315.0 AngularDegree(s) Objeto e' Northwest em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3747-3749	courseWRTTrueNorth Objeto, Objeto and 360.0 AngularDegree(s) Objeto e' North em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3751-3753	courseWRTTrueNorth Objeto, Objeto and 45.0 AngularDegree(s) Objeto e' Northeast em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3735-3737	courseWRTTrueNorth Objeto, Objeto and 90.0 AngularDegree(s) Objeto e' East em relacao a Objeto
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