TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 88-89
No TPTP formula. May not be expressible in strict first order.	Economy.kif 81-81	Le nombre 1 argument de economyType est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 85-85	Le nombre 2 argument de economyType est une instance de EconomicAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 80-80	economyType est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 86-86	economyType est une sous-relation de attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 828-828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 827-827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 826-826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21204-21204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21203-21203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21202-21202

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	Interval temporel est une instance de interval temporel economyType secteur g�opolitique and LowIncomeCountry pendant interval temporel nombre r�el perCapitaGDPInPeriod secteur g�opolitique, nombre r�el UnitedStatesDollar(s) and interval temporel nombre r�el est moins que 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	Interval temporel est une instance de interval temporel economyType secteur g�opolitique and LowerMiddleIncomeCountry pendant interval temporel nombre r�el perCapitaGDPInPeriod secteur g�opolitique, nombre r�el UnitedStatesDollar(s) and interval temporel nombre r�el est plus grand ou �gal � 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	Interval temporel est une instance de interval temporel economyType secteur g�opolitique and LowerMiddleIncomeCountry pendant interval temporel nombre r�el perCapitaGDPInPeriod secteur g�opolitique, nombre r�el UnitedStatesDollar(s) and interval temporel nombre r�el est moins que 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	Interval temporel est une instance de interval temporel economyType secteur g�opolitique and UpperMiddleIncomeCountry pendant interval temporel nombre r�el perCapitaGDPInPeriod secteur g�opolitique, nombre r�el UnitedStatesDollar(s) and interval temporel nombre r�el est plus grand ou �gal � 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 490-497	Interval temporel est une instance de interval temporel economyType secteur g�opolitique and UpperMiddleIncomeCountry pendant interval temporel nombre r�el perCapitaGDPInPeriod secteur g�opolitique, nombre r�el UnitedStatesDollar(s) and interval temporel nombre r�el est moins que 9267.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 91-95	economyType AutonomousAgent and EconomicAttribute AutonomousAgent est une instance de secteur g�opolitique AutonomousAgent est une instance de organisation

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 865-869	CommunistState est un attribut de AutonomousAgent AutonomousAgent est une instance de nation economyType AutonomousAgent and CentrallyPlannedEconomy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 506-510	HighIncomeCountry est un attribut de AutonomousAgent AutonomousAgent est un membre de OrganizationOfPetroleumExportingCountries economyType AutonomousAgent and DevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 189-191	FormerSovietOrEasternEuropeanCountry est un attribut de AutonomousAgent economyType AutonomousAgent and CountryInTransition
No TPTP formula. May not be expressible in strict first order.	Economy.kif 388-390	FourDragonsEconomy est un attribut de AutonomousAgent economyType AutonomousAgent and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 384-386	FourDragonsEconomy est un attribut de AutonomousAgent economyType AutonomousAgent and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 432-434	LowIncomeCountry est un attribut de AutonomousAgent economyType AutonomousAgent and LeastDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 747-749	MajorIndustrialEconomy est un attribut de AutonomousAgent economyType AutonomousAgent and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 743-745	MajorIndustrialEconomy est un attribut de AutonomousAgent economyType AutonomousAgent and DevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 879-881	PrivatizingEconomy est un attribut de AutonomousAgent economyType AutonomousAgent and CountryInTransition

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Economy.kif 615-615	economyType Afghanistan and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 231-231	economyType Afghanistan and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 574-574	economyType Albania and CountryInTransition
No TPTP formula. May not be expressible in strict first order.	Economy.kif 616-616	economyType Algeria and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 232-232	economyType Algeria and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 146-146	economyType Andorra and DevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 617-617	economyType Angola and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 233-233	economyType Angola and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 618-618	economyType AntiguaAndBarbuda and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 234-234	economyType AntiguaAndBarbuda and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 619-619	economyType Argentina and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 235-235	economyType Argentina and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 575-575	economyType Armenia and CountryInTransition
No TPTP formula. May not be expressible in strict first order.	Economy.kif 620-620	economyType Aruba and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 236-236	economyType Aruba and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 535-535	economyType Australia and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 147-147	economyType Australia and DevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 536-536	economyType Austria and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 148-148	economyType Austria and DevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 576-576	economyType Azerbaijan and CountryInTransition
No TPTP formula. May not be expressible in strict first order.	Economy.kif 622-622	economyType Bahrain and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 238-238	economyType Bahrain and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 623-623	economyType Bangladesh and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 239-239	economyType Bangladesh and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 624-624	economyType Barbados and DevelopingCountry

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: