Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  attribute

Sigma KEE - attribute
attribute

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 19357-19357 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 14343-14343 developmentalForm e' uma sub-relacao de attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1880-1880 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 30166-30176 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 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
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 average Lista and Numero Real
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 average Lista and Numero Real
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. 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 17276-17284 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 20199-20203 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 20217-20221 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 20208-20212 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 30082-30086 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 20231-20235 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 8978-8982 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 20185-20189 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 20240-20244 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 16851-16860
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20759-20766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18836-18842
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 1241-1248 ?AGENT ?VOTER, ?ELECTION and ?VOTING contem informacao ExclusiveMaleSuffrage
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 872-881 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 895-906 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 933-946 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 20400-20400 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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