Tree - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tree

Tree(Arvore)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2329-2329
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5688-5689
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1003-1003
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2043-2043
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2412-2412
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2414-2414
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2413-2413
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5686-5686	Arvore e' uma sub-classe de Grafo Orientado

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 935-935
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1077-1077
No TPTP formula. May not be expressible in strict first order.	french_format.kif 611-611
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 145-145
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2296-2296
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 563-563
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 147-147
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 179-179
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 632-632
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 146-146

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5707-5717	Grafo e' uma instancia de Arvore Arco do Grafo Arco do Grafo and No' do Grafo Arco do Grafo e' uma &parte de Grafo Arco do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo o no' terminal Arco do Grafo e' igual a No' do Grafo o no' terminal Arco do Grafo e' igual a No' do Grafo Arco do Grafo e' igual a Arco do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5699-5705	Grafo e' uma instancia de Arvore Elemento do Grafo Elemento do Grafo e' uma instancia de Circuito do Grafo Elemento do Grafo e' uma &parte de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5691-5697	Grafo e' uma instancia de Arvore Elemento do Grafo Elemento do Grafo e' uma instancia de Laco do Grafo Elemento do Grafo e' uma &parte de Grafo

consequent

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

Food.kif 3655-3662

Objeto e' uma instancia de Orchard
Processo Entidade Processo e' uma instancia de Agriculture Processo e' situado em Objeto Entidade e' uma instancia de Arvore Entidade e' o resultado de Processo

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