HoleRegion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2857-2862
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9875-9886
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1601-1609
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 500-500
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9873-9873	Buraco e' uma sub-classe de Regiao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4691-4691	SouthSandwichTrench e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3659-3659	ATMSlot e' uma sub-classe de Buraco
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12046-12046	BodyOrifice e' uma sub-classe de Buraco
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6027-6027	Burrow e' uma sub-classe de Buraco
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6012-6012	Cave e' uma sub-classe de Buraco
No TPTP formula. May not be expressible in strict first order.	Cars.kif 324-324	Crankcase e' uma sub-classe de Buraco
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6141-6141	Glottis e' uma sub-classe de Buraco
No TPTP formula. May not be expressible in strict first order.	Sports.kif 959-959	GolfHole e' uma sub-classe de Buraco
No TPTP formula. May not be expressible in strict first order.	Cars.kif 311-311	InternalCombustionChamber e' uma sub-classe de Buraco
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12120-12120	Pupil e' uma sub-classe de Buraco
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 944-944
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1095-1095
No TPTP formula. May not be expressible in strict first order.	french_format.kif 620-620
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 151-151
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 154-154
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 572-572
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 156-156
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 188-188
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 155-155

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9949-9949	O argumento numero 1 de HoleHostFn e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10090-10090	O argumento numero 1 de HoleSkinFn e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1538-1538	O argumento numero 1 de cylinderBore e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10046-10046	O argumento numero 2 de fills e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order.	Merge.kif 994-994	O argumento numero 1 de hole e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10000-10000	O argumento numero 2 de partiallyFills e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1003-1003	O argumento numero 2 de properlyFills e' uma instancia de Buraco

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1549	cylinderBore Buraco and Medida de Comprimento Buraco e' uma instancia de Buraco shape Buraco and Cylinder Objeto e' uma &parte de Buraco Objeto e' uma instancia de Regiao shape Objeto and Circle o diametro de Objeto e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	Objeto auto-conectado e' uma instancia de AutomobileShock Processo e' uma instancia de Compressing Buraco e' uma instancia de Buraco Fluid e' um atributo de Objeto Objeto auto-conectado e' igual a o dono do buraco Buraco Objeto auto-conectado contem Objeto Objeto auto-conectado e' um patient de Processo Transferencia Transferencia e' uma instancia de Transferencia objectTransferred Transferencia and Objeto Buraco e' o caminho ao longo do qual Transferencia ocorre Processo causa Transferencia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9961-9969	Objeto e' uma instancia de Buraco Objeto e' uma &parte de Objeto Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9990-9994	Objeto e' uma instancia de Buraco Objeto e' uma &parte de Objeto Fillable e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9888-9891	Buraco e' uma instancia de Buraco Objeto auto-conectado Buraco e' um buraco dans Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9940-9943	Objeto e' uma instancia de Buraco Objeto Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	Processo e' uma instancia de Cricothyroidotomy Entidade e' um patient de Processo Entidade Entidade e' uma instancia de Buraco Entidade e' igual a o dono do buraco Entidade Entidade e' uma instancia de Throat Entidade e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3617-3632	Objeto e' uma instancia de Whiskey Intervalo Temporal e' uma instancia de Distilling Objeto e' o resultado de Intervalo Temporal Objeto e' um recurso para Intervalo TemporalR Intervalo TemporalR e' uma instancia de Beber Objeto auto-conectado Intervalo Temporal and Buraco Objeto auto-conectado e' uma instancia de Cask Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Objeto completa partialmente Objeto auto-conectado vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo TemporalR
No TPTP formula. May not be expressible in strict first order.	Food.kif 2763-2776	Objeto e' uma instancia de Penne Objeto Objeto e' uma instancia de Penne Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de Buraco Objeto e' uma &parte de Objeto Fillable e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1628-1635	ContainerEmpty e' um atributo de Objeto auto-conectado Buraco Objeto Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Objeto completa partialmente Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1646-1652	ContainerFull e' um atributo de Objeto auto-conectado Buraco Objeto Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Objeto completa Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9983-9988	Fillable e' um atributo de Objeto Objeto Objeto e' uma instancia de Buraco Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4425-4430	RingTorus e' um atributo de Objeto Buraco Buraco e' uma instancia de Buraco Objeto e' igual a o dono do buraco Buraco
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9893-9895	Buraco e' um buraco dans Objeto auto-conectado Buraco e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9897-9900	Buraco e' um buraco dans Objeto auto-conectado Objeto auto-conectado e' uma instancia de Buraco
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25956-25963	Objeto Corpuscular e' uma instancia de OutletAdapter Colecao Colecao e' uma instancia de Colecao memberType Colecao and Buraco Colecao e' uma &parte de Objeto Corpuscular Metal e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1126-1139	Objeto e' uma instancia de BowlingBall Colecao Colecao e' uma instancia de Colecao memberType Colecao and Buraco memberCount Colecao and 3 Colecao e' situado em Objeto Colecao tem por fim Entidade Entidade Entidade e' membro de Colecao Entidade e' uma instancia de Finger Entidade completa partialmente Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1706-1711	Objeto e' uma instancia de CombustionChamber Buraco Buraco e' uma instancia de Buraco Objeto e' igual a o dono do buraco Buraco
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	Fisico e' uma instancia de ChestSeal Fisico tem por fim Entidade EntidadeH, Entidade and Entidade Entidade e' uma instancia de Closing Fisico e' um instrumento para Entidade Entidade e' situado em EntidadeH EntidadeH e' uma instancia de Chest Entidade e' uma instancia de Buraco EntidadeH e' igual a o dono do buraco Entidade Entidade e' uma instancia de Ferir Entidade e' situado em EntidadeH tempo de existencia de Entidade acontence antes de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18112-18120	Fisico e' uma instancia de Drill Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Cortar Entidade e' uma instancia de Buraco Entidade e' o resultado de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2849-2878	Fisico e' uma instancia de Gasket Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Objeto Corpuscular Entidade e' uma instancia de Objeto Corpuscular Entidade encontra Fisico Entidade encontra Fisico Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Buraco Fisico e' igual a o dono do buraco Entidade Entidade e' uma instancia de Translocation Entidade e' o caminho ao longo do qual Entidade ocorre Entidade tem como origem Entidade Entidade termina em Entidade Entidade contem Entidade Entidade nao contem %n Entidade Entidade encontra Entidade Entidade3 Entidade contem Entidade3 Entidade nao contem %n Entidade3 Entidade nao contem %n Entidade3
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1611-1621	Objeto e' uma instancia de HydraulicCylinder Objeto Buraco and Objeto Buraco e' uma instancia de Buraco Objeto e' igual a o dono do buraco Buraco shape Buraco and Cylinder Objeto e' uma instancia de Piston Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4517-4522	Objeto auto-conectado e' uma instancia de PorousContainer Buraco Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5211-5231	Objeto auto-conectado e' uma instancia de Sandal Buraco Buraco Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Buraco e' igual a Buraco Buraco tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Dressing Entidade e' uma instancia de Foot Entidade e' um agente de Entidade Entidade e' uma &parte de Entidade Entidade e' um sub-processo de Entidade Entidade e' uma instancia de Inserting Entidade e' um patient de Entidade Entidade termina em Buraco
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9423-9430	Objeto e' uma instancia de Ulcer Buraco Objeto Buraco e' uma instancia de Buraco Objeto e' uma instancia de Parte do Corpo Objeto e' igual a o dono do buraco Buraco Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4256-4263	Fisico e' uma instancia de VacuumHose Fisico tem por fim Entidade Entidade e' uma instancia de Buraco Fisico e' igual a o dono do buraco Entidade PartialVacuum e' um atributo de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4307-4312	Objeto e' uma instancia de WasherForBolt Buraco Buraco e' uma instancia de Buraco Objeto e' igual a o dono do buraco Buraco
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25899-25905	Objeto e' uma instancia de ElectricalOutlet Colecao Colecao e' uma instancia de Colecao memberType Colecao and Buraco Colecao e' uma &parte de Objeto

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

KB Term:			Term intersection

English Word: