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	O argumento numero 1 de shape e' uma instancia de Fisico
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25573-25573	shape e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25574-25574	shape e' uma sub-relacao de 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	cellShape e' uma sub-relacao de 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	cylinderBore Buraco and Medida de Comprimento Buraco e' uma instancia de Buraco shape Buraco and Cylinder Objeto e' uma &parte de Buraco Objeto e' uma instancia de Regiao shape Objeto and Circle o diametro de Objeto e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7636-7641	Objeto e' uma instancia de Objeto shape Objeto and Circle GeometricPoint CenterOfCircleFn Objeto e' igual a GeometricPoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7629-7634	Objeto e' uma instancia de Objeto shape Objeto and Circle Medida de Comprimento o radio de Objeto e' Medida de Comprimento

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 568-573	Processo e' uma instancia de CyclonicStorm Objeto e' uma instancia de AirStream eventLocated Processo and Objeto shape Objeto and Cylinder
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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2811-2813	FemaleConnector e' um atributo de Objeto shape Objeto and Concave
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2782-2784	MaleConnector e' um atributo de Objeto shape Objeto and Convex
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31141-31143	circumfrence Objeto and Medida de Comprimento shape Objeto and Circle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7694-7696	O diametro de Objeto e' Medida de Comprimento shape Objeto and Circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4948-4951	Medida de Comprimento e' igual a DiameterFn Objeto shape Objeto and Circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4967-4970	Medida de Comprimento e' igual a RadiusFn Objeto shape Objeto and Circle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7651-7654	GeometricPoint e' igual a CenterOfCircleFn Objeto shape Objeto and Circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3996-3998	Fisico e' uma instancia de ContainerChest shape Fisico and Rectangle
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 661-663	Fisico e' uma instancia de ComputerDisk shape Fisico and DiskShaped
No TPTP formula. May not be expressible in strict first order.	Sports.kif 340-342	Fisico e' uma instancia de Football shape Fisico and ConvexRoundShape
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1611-1621	Objeto e' uma instancia de HydraulicCylinder Objeto Buraco and Objeto Buraco e' uma instancia de Buraco Objeto e' igual a o dono do buraco Buraco shape Buraco and Cylinder Objeto e' uma instancia de Piston Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Sports.kif 964-973	Objeto auto-conectado e' uma instancia de GolfHole Objeto auto-conectado shape Objeto auto-conectado and Cylinder o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Regiao shape Objeto auto-conectado and Circle o diametro de Objeto auto-conectado e' 4.25 Inch(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1089-1091	Fisico e' uma instancia de Blackboard shape Fisico and Flat
No TPTP formula. May not be expressible in strict first order.	Media.kif 1135-1137	Fisico e' uma instancia de OpticalDisc shape Fisico and Flat
No TPTP formula. May not be expressible in strict first order.	Media.kif 1069-1071	Fisico e' uma instancia de PrintedSheet shape Fisico and Flat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25621-25623	Fisico e' uma instancia de Whiteboard shape Fisico and Flat
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 160-162	Fisico e' uma instancia de ComputerScreen shape Fisico and Rectangle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25602-25604	Fisico e' uma instancia de SphericalObject shape Fisico and Sphere
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7673-7675	O radio de Objeto e' Medida de Comprimento shape Objeto and Circle

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

KB Term:			Term intersection

English Word: