TreeView Knowledge Base Browser - CorpuscularObject

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CorpuscularObject

Sigma KEE - CorpuscularObject

CorpuscularObject(Objeto Corpuscular)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1227-1227	Objeto Corpuscular e' disjunto de Substancia
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1624-1625
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1228-1229
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 206-207
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 245-246
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1226-1226	Objeto Corpuscular e' uma sub-classe de Objeto auto-conectado

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5000-5000	Bubble e' uma sub-classe de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1327-1327	Objeto Representendo Conteudo Abstrato e' uma sub-classe de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5027-5027	Nest e' uma sub-classe de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10118-10118	Organelle e' uma sub-classe de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14346-14346	Objeto Organico e' uma sub-classe de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1356-1356	RealEstate e' uma sub-classe de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2612-2612	Sonar e' uma sub-classe de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 830-830
No TPTP formula. May not be expressible in strict first order.	english_format.kif 862-862
No TPTP formula. May not be expressible in strict first order.	french_format.kif 506-506
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 38-38
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 41-41
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2191-2191
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 458-458
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 527-527
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 42-42

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7578-7578	O argumento numero 2 de AmountsFn e' uma instancia de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7593-7593	O argumento numero 2 de amount e' uma instancia de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 967-967	O argumento numero 1 de component e' uma instancia de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 968-968	O argumento numero 2 de component e' uma instancia de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 979-979	O argumento numero 2 de material e' uma instancia de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4811-4811	O argumento numero 2 de sliceOfFigure e' uma instancia de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1242-1242	O argumento numero 1 de substanceElement e' uma sub-classe de Objeto Corpuscular

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	Processo e' uma instancia de Grinding Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Corpuscular Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Colecao Entidade Entidade e' membro de Entidade 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.	Cars.kif 4287-4299	Objeto e' uma instancia de Reel Processo e' uma instancia de Manter Objeto e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Objeto Pliable e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4301-4314	Objeto e' uma instancia de Reel Processo e' uma instancia de Manter Objeto e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Objeto Pliable e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	Objeto Corpuscular e' uma instancia de Objeto Corpuscular Substancia Substancia Substancia e' uma sub-classe de Substancia Substancia e' uma sub-classe de Substancia Substancia e' feito de Objeto Corpuscular Substancia e' feito de Objeto Corpuscular Substancia e' igual a Substancia

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12369-12374	Processo e' uma instancia de Colar Entidade Entidade e' uma instancia de Objeto Corpuscular Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12417-12422	Processo e' uma instancia de Descolar Entidade Entidade e' uma instancia de Objeto Corpuscular Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2843-2872	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.	ComputerInput.kif 105-110	Processo e' uma instancia de PhysicalGuiding Entidade Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4285-4293	Fisico e' uma instancia de WasherForBolt Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Objeto Corpuscular Entidade e' uma instancia de AttachingDevice Entidade encontra Fisico Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4275-4285	Fisico e' uma instancia de Reel Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Manter Entidade e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Entidade Pliable e' um atributo de Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de 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