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	Shape attribute is a subclass of structure attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2678-2678	Concave is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1426-1426	Cone segment is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2646-2646	Convex is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25594-25594	Disk shaped is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9971-9971	Fillable is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2781-2781	Flat is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2818-2818	Level shape is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19423-19423	Line formation is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2801-2801	Long and thin is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4417-4417	Ring torus is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25586-25586	Round two dimensional is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2838-2838	Symmetric shape is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12531-12531	Fingerprint is a subclass of shape attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17802-17802	Geometric figure is a subclass of shape attribute
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 154-154	Molecule structural attribute is a subclass of shape attribute
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	The number 2 argument of cell shape is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25576-25576	The number 2 argument of shape is an instance of shape attribute

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17758-17763	If an attribute is an instance of shape attribute and the attribute is an attribute of a self connected object and another self connected object is a surface of the self connected object, then the attribute is an attribute of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25579-25584	If a physical the attribute a shape attribute and the physical is an instance of physical and the shape attribute is an instance of shape attribute, then the physical is the shape attribute

consequent

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

Merge.kif 12678-12691

If a process is an instance of shape change and an entity is a patient of the process,
then there exists another entity such that the other entity is an instance of shape attribute and the other entity is an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is not an attribute of the entity holds during the end of the time of existence of the process or the other entity is not an attribute of the entity holds during the beginning of the time of existence of the process and the other entity is an attribute of the entity holds during the end of the time of existence of the process

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: