TreeView Knowledge Base Browser - Locked

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Locked

Locked

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2688-2689
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10101-10101
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11364-11364
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11365-11365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11366-11366
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2687-2687	Locked e' uma instancia de Atributo Relacional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34883-34883
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34882-34882
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34881-34881

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2691-2707	Locked e' um atributo de Objeto Objeto Processo and Entidade Objeto e' uma instancia de Lock Objeto e' conectado com Objeto Processo e' uma instancia de Closing Objeto e' um patient de Processo Entidade e' uma instancia de Movimento tempo de existencia de Processo acontence antes de tempo de existencia de Locked e' um atributo de Objeto o argumento Objeto e' um patient de Entidade nao %n a forca modal de Possibility vale durante tempo de existencia de Locked e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2709-2711	Locked e' um atributo de Objeto Objeto e' uma instancia de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2691-2707	Locked e' um atributo de Objeto Objeto Processo and Entidade Objeto e' uma instancia de Lock Objeto e' conectado com Objeto Processo e' uma instancia de Closing Objeto e' um patient de Processo Entidade e' uma instancia de Movimento tempo de existencia de Processo acontence antes de tempo de existencia de Locked e' um atributo de Objeto o argumento Objeto e' um patient de Entidade nao %n a forca modal de Possibility vale durante tempo de existencia de Locked e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1016-1034	Fisico e' uma instancia de FuelCapLock Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de GasTank Entidade e' um buraco dans Entidade Fisico e' conectado com Entidade Locked e' um atributo de Fisico vale durante Entidade diminui a probabilidade de Entidade Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Fuel Entidade e' situado em Entidade Entidade e' um patient de Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2663-2685	Fisico e' uma instancia de Key Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Lock Fisico e' capaz de fazer a classe descrita por Entidade no role instrument Fisico e' capaz de fazer a classe descrita por Entidade no role instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3760-3785	Colecao e' uma instancia de RemoteKeylessSystem Objeto Fisico, Sequencia Simbolica and Sequencia Simbolica Objeto e' uma instancia de Key Objeto e' uma instancia de RemoteControl Objeto e' membro de Colecao Fisico e' uma instancia de Lock Fisico e' membro de Colecao Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3979-3997	Fisico e' uma instancia de SteeringColumnLock Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de SteeringColumn Entidade e' uma instancia de Automobile Entidade e' um componente de Entidade Fisico e' uma &parte de Entidade Entidade e' uma instancia de Protecting Fisico e' um instrumento para Entidade Locked e' um atributo de Fisico vale durante Entidade diminui a probabilidade de Entidade Entidade e' uma instancia de Stealing Entidade e' um patient de Entidade vale durante Entidade

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