TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3961-3961
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17755-17756
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17751-17751	Atributo de Forma e' uma sub-classe de StructureAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2678-2678	Concave e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1426-1426	ConeSegment e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2646-2646	Convex e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25594-25594	DiskShaped e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9971-9971	Fillable e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2781-2781	Flat e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2818-2818	LevelShape e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19423-19423	LineFormation e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2801-2801	LongAndThin e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4417-4417	RingTorus e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25586-25586	RoundTwoDimensional e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2838-2838	SymmetricShape e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12531-12531	Fingerprint e' uma sub-classe de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17802-17802	GeometricFigure e' uma sub-classe de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 154-154	MoleculeStructuralAttribute e' uma sub-classe de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1254-1254
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1729-1729
No TPTP formula. May not be expressible in strict first order.	french_format.kif 932-932
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 466-466
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 469-469
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2616-2616
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 884-884
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 471-471
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 505-505

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 405-405	O argumento numero 2 de cellShape e' uma instancia de Atributo de Forma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25576-25576	O argumento numero 2 de shape e' uma instancia de Atributo de Forma

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17758-17763	Atributo e' uma instancia de Atributo de Forma Atributo e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Atributo e' um atributo de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25579-25584	Fisico tem um atributo de Atributo de Forma Fisico e' uma instancia de Fisico Atributo de Forma e' uma instancia de Atributo de Forma shape Fisico and Atributo de Forma

consequent

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

Merge.kif 12678-12691

Processo e' uma instancia de Mudanca de Forma Entidade e' um patient de Processo
Entidade Entidade e' uma instancia de Atributo de Forma Entidade e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo

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: