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

Formal Language: 



KB Term:  Term intersection
English Word: 

  rangeSubclass

 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 14973-14973 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 29726-29726 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 8590-8590 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 30631-30631 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 9980-9980 Os valores retornados por EdemaFn sao as sub-classes de Edema
No TPTP formula. May not be expressible in strict first order. Merge.kif 15510-15510 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 14859-14859 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 8615-8615 Os valores retornados por HourFn sao as sub-classes de Hora
No TPTP formula. May not be expressible in strict first order. Merge.kif 13470-13470 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 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