TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3161-3162
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12366-12367
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12365-12365	Cortar e' uma sub-classe de Cutucar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5468-5468	Felling e' uma sub-classe de Cortar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22026-22026	Slicing e' uma sub-classe de Cortar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1164-1164
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1545-1545
No TPTP formula. May not be expressible in strict first order.	french_format.kif 842-842
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 374-374
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 377-377
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2526-2526
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 794-794
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 379-379
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 413-413
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 863-863
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 378-378

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22017-22024	Objeto e' uma instancia de Blade Processo e' uma instancia de Cortar Objeto e' uma instancia de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18149-18183	Objeto e' uma instancia de Saw Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Objeto Objeto e' um patient de Processo Processo Entidade, Entidade, Intervalo Temporal, Posicao Temporal, Posicao Temporal and Objeto Processo e' uma instancia de Movimento Processo e' um sub-processo de Processo Objeto e' uma instancia de CuttingDevice Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Entidade e' uma instancia de Atributo Directional Entidade e' uma instancia de Atributo Directional as entidades no processo Processo se movem Entidade vale durante Posicao Temporal as entidades no processo Processo se movem Entidade Entidade e' igual a Entidade oppositeDirection Entidade and Entidade ~{ Entidade e' igual a Entidade } ~{ oppositeDirection Entidade and Entidade } vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12281-12290	Processo e' uma instancia de Cirurgia Entidade e' um patient de Processo Processo Processo e' uma instancia de Cortar Entidade e' uma instancia de Animal Entidade e' um patient de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	BarberShops e' um atributo de Objeto Objeto tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Hair Entidade e' uma &parte de Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Cortar Entidade e' um patient de Entidade eventLocated Entidade and Objeto Entidade e' um agente de Entidade Objeto emprega 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.	Economy.kif 5562-5569	Entidade e' uma instancia de FinishedLumber Processo Objeto Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Planer Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	Entidade e' uma instancia de Felling Processo Processo, Objeto and Objeto Processo e' uma instancia de Cortar Objeto e' um patient de Processo Objeto e' uma instancia de BotanicalTree Processo e' o resultado de Processo Processo e' uma instancia de Falling Objeto e' um patient de Processo Objeto e' uma instancia de PlantStem Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5523-5530	Entidade e' uma instancia de Lumber Processo Entidade Processo e' uma instancia de Cortar Entidade e' o resultado de Processo Entidade e' um patient de Processo Entidade e' uma instancia de Lumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	Fisico e' uma instancia de Planer Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Cortar Fisico e' um instrumento para Entidade Entidade e' um recurso para Entidade Entidade e' uma instancia de Objeto Entidade e' feito de Wood Entidade e' o resultado de Entidade Entidade e' uma instancia de Objeto Wood e' feito de Entidade Flat e' um atributo de Entidade Entidade e' uma instancia de UnitOfLength a altura de Entidade e' Entidade Entidade(s) a altura de Entidade e' Entidade Entidade(s) Entidade e' maior que Entidade
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5548-5556	Entidade e' uma instancia de RoughSawnLumber Processo Objeto Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Planer Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21997-21999	Role em Caso e' uma instancia de CuttingDevice instrument e' capaz de fazer Cortar no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18189-18197	Fisico e' uma instancia de PaperShredder Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Cortar Fisico e' um instrumento para Entidade Entidade e' uma instancia de Paper Entidade e' um patient de Entidade

statement

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 18201-18218

?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ

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

KB Term:			Term intersection

English Word: