TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2830-2831
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4038-4040
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1573-1575
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4034-4034	overlapsSpatially e' uma instancia de Relacao Reflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4035-4035	overlapsSpatially e' uma instancia de Relacao Simetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4033-4033	overlapsSpatially e' uma sub-relacao de connected

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9574-9574	meetsSpatially e overlapsSpatially sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 367-367
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4036-4036
No TPTP formula. May not be expressible in strict first order.	french_format.kif 212-212
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 207-207
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 164-164
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 219-219
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 489-489
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 245-245
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 232-232
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 229-229
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 396-396
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43782-43782
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43781-43781
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43780-43780
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 397-397

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9911-9916	Buraco e' um buraco dans Objeto auto-conectado Buraco e' um buraco dans Objeto auto-conectado Buraco engloba Buraco Objeto auto-conectado engloba Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3496-3501	Objeto engloba Objeto Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Objeto e' parcialmente localizado em Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9580-9585	Objeto engloba Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10032-10037	Objeto completa Buraco Fillable e' um atributo de Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9903-9909	Buraco e' um buraco dans Objeto auto-conectado Objeto auto-conectado e' uma &parte de Objeto auto-conectado Buraco engloba Objeto auto-conectado Buraco e' um buraco dans Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9911-9916	Buraco e' um buraco dans Objeto auto-conectado Buraco e' um buraco dans Objeto auto-conectado Buraco engloba Buraco Objeto auto-conectado engloba Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2492-2505	Processo e' uma instancia de Desertification eventLocated Processo and Objeto Entidade Entidade Entidade e' uma instancia de ArableLand Entidade e' uma instancia de Desert Objeto engloba Entidade vale durante o comeco de tempo de existencia de Processo Objeto engloba Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2471-2482	Intervalo Temporal e' uma instancia de Drought eventLocated Intervalo Temporal and Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de Raining Objeto e' uma instancia de Regiao eventLocated Intervalo Temporal and Objeto Objeto engloba Objeto Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	Processo e' uma instancia de DustStorm Processo e' uma instancia de Wind Processo e' um sub-processo de Processo Transferencia Objeto, Objeto, Objeto, Objeto and Numero Real Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto surfaceWindSpeed Objeto and Numero Real KnotUnitOfSpeed(s) Numero Real e' maior que 30.0 Transferencia e' uma instancia de Translocation Transferencia e' um sub-processo de Processo objectTransferred Transferencia and Objeto objectTransferred Transferencia and Objeto Objeto e' uma instancia de ParticulateMatter Objeto e' uma instancia de Sand Objeto e' uma instancia de Area terrestre Transferencia termina em Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4055-4059	Objeto e' uma instancia de Objeto Objeto e' parcialmente localizado em Objeto Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9601-9607	Entidade e' uma instancia de Role em Caso Objeto e' uma instancia de Objeto Entidade Fisico and Objeto Ponto no tempo o lugar onde Fisico estava em Ponto no tempo engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12810-12815	Objeto e' uma instancia de Torso Objeto e' uma instancia de Limb Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1075-1082	Area Geografica e' uma instancia de MaritimeShelfArea Objeto e' uma instancia de ContinentalShelf AutonomousAgent e' uma instancia de Nacao Objeto encontra AutonomousAgent claimedTerritory Area Geografica and AutonomousAgent Area Geografica engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9593-9599	Objeto e' membro de Colecao Objeto e' membro de Colecao Objeto e' igual a Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9587-9591	Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1271-1278	physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3117-3133	coilCount WireCoil and Numero Inteiro Colecao Colecao e' uma instancia de Colecao memberCount Colecao and Numero Inteiro Objeto Objeto e' membro de Colecao ClosedTwoDimensionalFigure e' um atributo de Objeto Objeto e' uma &parte de WireCoil Objeto2 Objeto2 engloba Objeto Objeto2 e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9509-9513	Objeto e' conectado com Objeto Objeto encontra Objeto Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10086-10093	Objeto e' igual a a superficie do buraco Buraco Objeto e' uma parte superficial de o dono do buraco Buraco Buraco encontra Objeto Objeto engloba Objeto Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10076-10084	Objeto e' igual a a superficie do buraco Buraco Objeto engloba Objeto Objeto Objeto e' uma parte superficial de o dono do buraco Buraco Buraco encontra Objeto Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9880-9883	Buraco e' um buraco dans Objeto auto-conectado Buraco nao engloba %n Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9616-9623	Objeto e' uma instancia de PlantAreole Entidade Objeto Entidade e' uma instancia de Cactus Objeto e' uma instancia de PlantSpinoseStructure Objeto e' uma &parte de Cactus Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6096-6102	Objeto e' uma instancia de ContinentalShelf Objeto Objeto e' uma instancia de ContinentalMargin Objeto e' uma &parte de Objeto Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10991-10998	Objeto e' uma instancia de Skin Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Animal Objeto engloba Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5202-5207	Objeto e' uma instancia de Estuary Objeto Objeto e' uma instancia de RiverMouth Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4146-4152	Objeto e' uma instancia de Plateau Objeto Objeto e' uma instancia de SlopedArea SteepTerrain e' um atributo de Objeto Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9699-9705	Objeto e' uma parte interior de Objeto Objeto Objeto e' uma parte superficial de Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 724-726	Objeto encontra Objeto Objeto nao engloba %n Objeto

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3523-3523	Africa engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3524-3524	Africa engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3540-3540	Antarctica engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3541-3541	Antarctica engloba WesternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3584-3584	ArcticOcean engloba ArcticRegion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3582-3582	ArcticRegion engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3583-3583	ArcticRegion engloba WesternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3550-3550	Asia engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3551-3551	Asia engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 167-167	CaribbeanRegion engloba NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 166-166	CaribbeanRegion engloba SouthAmerica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 187-187	CentralAfrica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 188-188	CentralAfrica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 191-191	EasternAfrica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 192-192	EasternAfrica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 242-242	EasternSouthAmerica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 243-243	EasternSouthAmerica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3545-3545	Europe engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3546-3546	Europe engloba WesternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 168-168	MiddleAmerica engloba NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 169-169	MiddleAmerica engloba SouthAmerica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 146-146	MiddleEastRegion engloba Asia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 194-194	NorthernAfrica engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 195-195	NorthernAfrica engloba WesternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 246-246	NorthernSouthAmerica engloba NorthernHemisphere

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: