TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25577-25577
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25575-25575	The number 1 argument of shape is an instance of physical
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25573-25573	shape is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25574-25574	shape is a subrelation of property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4506-4506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4505-4505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4504-4504
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 403-403	cell shape is a subrelation of shape
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65933-65933

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1549	If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is circle, then the diameter of the object is the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7636-7641	If an object is an instance of object and the object is circle, then there exists a geometric point such that the center of circle of the object is equal to the geometric point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7629-7634	If an object is an instance of object and the object is circle, then there exists a length measure such that the radius of the object is the length measure

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 568-573	If a process is an instance of cyclonic storm and an object is an instance of air stream and the process is located at the object, then the object is cylinder
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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2811-2813	If female is an attribute of an object, then the object is concave
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2782-2784	If 公 is an attribute of an object, then the object is convex
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31141-31143	If circumfrence an object and a length measure, then the object is circle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7694-7696	If the diameter of an object is a length measure, then the object is circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4948-4951	If a length measure is equal to the diameter of an object, then the object is circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4967-4970	If a length measure is equal to the radius of an object, then the object is circle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7651-7654	If a geometric point is equal to the center of circle of an object, then the object is circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3996-3998	If a physical is an instance of chest container, then the physical is rectangle
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 661-663	If a physical is an instance of computer disk, then the physical is disk shaped
No TPTP formula. May not be expressible in strict first order.	Sports.kif 340-342	If a physical is an instance of foot ball, then the physical is convex round shape
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1611-1621	If an object is an instance of hydraulic cylinder, then there exist another object, a hole and a third object such that the hole is an instance of hole and the other object is equal to the host of the hole the hole and the hole is cylinder and the third object is an instance of piston and the third object is a part of the object and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 964-973	If a self connected object is an instance of golf hole, then there exists another self connected object such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is circle and the diameter of the other self connected object is 4.25 inch(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1089-1091	If a physical is an instance of blackboard, then the physical is flat
No TPTP formula. May not be expressible in strict first order.	Media.kif 1135-1137	If a physical is an instance of optical disc, then the physical is flat
No TPTP formula. May not be expressible in strict first order.	Media.kif 1069-1071	If a physical is an instance of printed sheet, then the physical is flat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25621-25623	If a physical is an instance of whiteboard, then the physical is flat
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 160-162	If a physical is an instance of computer screen, then the physical is rectangle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25602-25604	If a physical is an instance of spherical object, then the physical is sphere
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7673-7675	If the radius of an object is a length measure, then the object is circle

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: