Attaching - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Attaching

Attaching(Colar)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12370-12370	Colar e' disjunto de Descolar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3163-3167
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12373-12380
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12371-12371	Colar e' relacionado internamente por SUMO a Colocar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12369-12369	Colar e' uma sub-classe de Processo Dual

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 61-61	ApplyingTourniquet e' uma sub-classe de Colar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23964-23964	Fertilisation e' uma sub-classe de Colar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11526-11526	Grabbing e' uma sub-classe de Colar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5607-5607	Sewing e' uma sub-classe de Colar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5626-5626	Soldering e' uma sub-classe de Colar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5598-5598	Tying e' uma sub-classe de Colar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1165-1165
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1547-1547
No TPTP formula. May not be expressible in strict first order.	french_format.kif 843-843
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 375-375
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 378-378
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2527-2527
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 795-795
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 380-380
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 414-414
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 864-864
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 379-379

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4242-4248	Objeto e' uma instancia de Anchor ObjetoTTACH e' uma instancia de Colar Objeto e' um instrumento para ObjetoTTACH Entidade e' um patient de ObjetoTTACH Entidade e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12405-12419	Processo e' uma instancia de Colar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo objectAttached Processo and Entidade objectAttached Processo and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12382-12389	Processo e' uma instancia de Colar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objeto e' uma instancia de VentedChestSeal Transferencia e' uma instancia de Colar objectTransferred Transferencia and Objeto Transferencia termina em Entidade Objeto tem por fim Transferencia Entidade, Entidade and Entidade Transferencia e' uma instancia de Air Entidade e' uma instancia de Lung Entidade e' uma instancia de Chest Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Transferencia esta' entre Entidade e Entidade vale durante imediatemente antes de tempo de existencia de Transferencia Objeto tem por fim Transferencia e' Outside em relacao a Entidade vale durante imediatemente apos tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12391-12396	Processo e' uma instancia de Colar Entidade Entidade e' uma instancia de Objeto Corpuscular Entidade e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processo e' uma instancia de Bleeding Entidade e' uma instancia de Morte Formula e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo Formula e' Near em relacao a AutonomousAgent o argumento Processo causa Entidade tem a forca modal de Likely Entidade Entidade e' uma instancia de Colar Entidade e' um agente de Formula Entidade termina em AutonomousAgent e' obrigado a executar tarefas de tipo Formula
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 420-431	Processo e' uma instancia de Dressing Fisico e' uma instancia de Oqal Entidade e' uma instancia de Hat Fisico e' um patient de Processo Entidade e' um patient de Processo Fisico tem por fim Entidade Entidade e' uma instancia de Colar Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 20-39	Tourniquet e' um atributo de Objeto vale durante ObjetoIME AutonomousAgent Processo and Transferencia AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Bleeding Transferencia e' uma instancia de Colar AutonomousAgent experimenta Processo Transferencia termina em AutonomousAgent objectTransferred Transferencia and Objeto Objeto tem por fim Processo2 Processo2 e' uma instancia de Bleeding imediatemente apos tempo de existencia de Transferencia engloba tempo de existencia de Processo2 AutonomousAgent experimenta Processo2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4180-4188	Fisico e' uma instancia de Bolt Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Colar Entidade e' uma instancia de MechanicalNut Fisico e' um instrumento para Entidade Entidade e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16038-16043	Objeto e' uma instancia de AttachingDevice Processo Processo e' uma instancia de Colar Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8901-8907	Fisico e' uma instancia de Glue Fisico tem por fim Entidade Entidade e' uma instancia de Colar Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4199-4207	Fisico e' uma instancia de MechanicalNut Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Colar Entidade e' uma instancia de Bolt Entidade e' um instrumento para Entidade Fisico e' um instrumento para Entidade

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