| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1714-1715 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1723-1725 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 318-319 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1720-1720 | O argumento numero 1 de attribute e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1721-1721 | O argumento numero 2 de attribute e' uma instancia de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1715-1715 | attribute e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1718-1718 | attribute e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1716-1716 | attribute e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1717-1717 | attribute e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | attribute e' uma sub-relacao de property |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1734-1734 | manner e attribute sao disjuntos |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 56-56 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1878-1878 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 8-8 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 65-65 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 75-75 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 55-55 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 63-63 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2510-2510 | bondRating e' uma sub-relacao de attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19385-19385 | color e' uma sub-relacao de attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2501-2501 | creditRanking e' uma sub-relacao de attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14367-14367 | developmentalForm e' uma sub-relacao de attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1873-1873 | deviceState e' uma sub-relacao de attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 86-86 | economyType e' uma sub-relacao de attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 130-130 | governmentType e' uma sub-relacao de attribute |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1882-1882 | hasGUEState e' uma sub-relacao de attribute |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 163-163 | hasMolecularStructuralAttribute e' uma sub-relacao de attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2109-2109 | hostStatus e' uma sub-relacao de attribute |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30202-30212 | Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15027-15031 | 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 |
| 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 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 357-390 | Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 403-436 | Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1364-1368 | 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. | People.kif 206-223 | MaleToFemaleRatioFn Area Geopolitica e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Inteiro e' igual a Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1783-1787 | hearingAcuity Humano, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity e' um atributo de Humano |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1794-1798 | hearingAcuity Humano, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity e' um atributo de Humano |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1805-1809 | hearingAcuity Humano, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss e' um atributo de Humano |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1815-1819 | hearingAcuity Humano, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss e' um atributo de Humano |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1826-1830 | hearingAcuity Humano, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss e' um atributo de Humano |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1837-1841 | hearingAcuity Humano, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss e' um atributo de Humano |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1848-1852 | hearingAcuity Humano, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss e' um atributo de Humano |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17325-17333 | Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20227-20231 | Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Female e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20245-20249 | Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Male e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20236-20240 | Objeto e' uma instancia de Calf Objeto e' uma instancia de Cattle NonFullyFormed e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30118-30122 | Objeto e' uma instancia de DamagedVehicle Objeto e' uma instancia de Vehicle DeviceDamaged e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20259-20263 | Objeto e' uma instancia de Hen Objeto e' uma instancia de Chicken Female e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9006-9010 | Objeto e' uma instancia de Ice Objeto e' uma instancia de Agua Solid e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20213-20217 | Objeto e' uma instancia de Lamb Objeto e' uma instancia de Sheep NonFullyFormed e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20268-20272 | Objeto e' uma instancia de Rooster Objeto e' uma instancia de Chicken Male e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2768-2770 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16879-16888 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20787-20794 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18864-18870 |
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1205-1212 | ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 863-872 | AvailableForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 886-897 | FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 924-937 | ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4590-4593 | Agente Cognitivo NewReporter e' um atributo de Agente Cognitivo ProPublica emprega Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1902-1903 | Meal Regiao MealAttributeFn Meal and Regiao e' um atributo de Meal |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS e' uma instancia de ?PROCESSTYPE ?ORGANISM experimenta ?PROCESS aumenta a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20428-20428 | Fodder e' um atributo de Hay |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4681-4681 | PolarClimateZone e' um atributo de SouthernOcean |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 15-15 | Atributo Relacional e' um atributo de Tourniquet |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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