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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - rangeSubclass
rangeSubclass

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1492-1493
No TPTP formula. May not be expressible in strict first order. Merge.kif 336-337
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 53-54
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 58-59
No TPTP formula. May not be expressible in strict first order. Merge.kif 334-334 O argumento numero 1 de rangeSubclass e' uma instancia de Funcao
No TPTP formula. May not be expressible in strict first order. Merge.kif 335-335 O argumento numero 2 de rangeSubclass e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 333-333 rangeSubclass e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 332-332 rangeSubclass e' uma instancia de Predicado Binario

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 329-329
No TPTP formula. May not be expressible in strict first order. english_format.kif 334-334
No TPTP formula. May not be expressible in strict first order. french_format.kif 187-187
No TPTP formula. May not be expressible in strict first order. relations-it.txt 240-240
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2007-2007
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order. relations-de.txt 433-433
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 278-278
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 207-207
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 198-198
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 432-432
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48764-48764
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48763-48763
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48762-48762

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 339-343
No TPTP formula. May not be expressible in strict first order. Merge.kif 351-357
No TPTP formula. May not be expressible in strict first order. Merge.kif 440-445
No TPTP formula. May not be expressible in strict first order. Merge.kif 345-349

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 345-349

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 88-88 Os valores retornados por AgentOfOrganismFn sao as sub-classes de BiologicalAgent
No TPTP formula. May not be expressible in strict first order. Music.kif 932-932 Os valores retornados por AlbumCopiesFn sao as sub-classes de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Merge.kif 1776-1776 Os valores retornados por AttrFn sao as sub-classes de Objeto
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6235-6235 Os valores retornados por BodyAreaFn sao as sub-classes de Parte do Corpo
No TPTP formula. May not be expressible in strict first order. Merge.kif 14995-14995 Os valores retornados por BodySideFn sao as sub-classes de Parte do Corpo
No TPTP formula. May not be expressible in strict first order. Government.kif 675-675 Os valores retornados por ConstitutionFn sao as sub-classes de Constitution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29714-29714 Os valores retornados por CoveringFn sao as sub-classes de WearableItem
No TPTP formula. May not be expressible in strict first order. Merge.kif 6072-6072 Os valores retornados por CutSetFn sao as sub-classes de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order. Merge.kif 8612-8612 Os valores retornados por DayFn sao as sub-classes de Dia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 116-116 Os valores retornados por DeadFn sao as sub-classes de OrganismRemains
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30619-30619 Os valores retornados por DemonymFn sao as sub-classes de NationalPerson
No TPTP formula. May not be expressible in strict first order. Geography.kif 3013-3013 Os valores retornados por DocumentFn sao as sub-classes de Texto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9979-9979 Os valores retornados por EdemaFn sao as sub-classes de Edema
No TPTP formula. May not be expressible in strict first order. Merge.kif 15532-15532 Os valores retornados por EditionFn sao as sub-classes de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order. Government.kif 1686-1686 Os valores retornados por ElectionFn sao as sub-classes de Election
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4515-4515 Os valores retornados por FailureFn sao as sub-classes de Processo
No TPTP formula. May not be expressible in strict first order. Food.kif 3668-3668 Os valores retornados por FarmOfProductFn sao as sub-classes de CultivatedLandArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 3698-3698 Os valores retornados por FiscalYearFn sao as sub-classes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 14881-14881 Os valores retornados por FoodForFn sao as sub-classes de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order. Geography.kif 6915-6915 Os valores retornados por GeographicPartTypeFn sao as sub-classes de Area Geografica
No TPTP formula. May not be expressible in strict first order. Merge.kif 6056-6056 Os valores retornados por GraphPathFn sao as sub-classes de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order. Merge.kif 8637-8637 Os valores retornados por HourFn sao as sub-classes de Hora
No TPTP formula. May not be expressible in strict first order. Merge.kif 13492-13492 Os valores retornados por ImpairmentFn sao as sub-classes de Processo Biologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 6585-6585 Os valores retornados por IntervalFn sao as sub-classes de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Food.kif 2600-2600 Os valores retornados por JuiceOfFn sao as sub-classes de Juice

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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