TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2158-2161
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4431-4435
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 815-819
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4428-4428	O argumento numero 1 de names e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4429-4429	O argumento numero 2 de names e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4427-4427	names e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4426-4426	names e' uma sub-relacao de refers

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 309-309
No TPTP formula. May not be expressible in strict first order.	english_format.kif 314-314
No TPTP formula. May not be expressible in strict first order.	french_format.kif 177-177
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1997-1997
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 129-129
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 197-197
No TPTP formula. May not be expressible in strict first order.	Media.kif 3424-3424	agentName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23214-23214	alias e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27217-27217	conventionalLongName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27228-27228	conventionalShortName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14725-14725	familyName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2205-2205	filename e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14718-14718	formerName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3290-3290	fullName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14742-14742	givenName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14757-14757	localLongName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14762-14762	localShortName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14738-14738	middleName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Media.kif 3337-3337	nameIndexOrder e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2095-2095	password e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14705-14705	titles e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4437-4437	uniqueIdentifier e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2058-2058	userName e' uma sub-relacao de names
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39669-39669

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3406-3411	Entidade se chama nome Sequencia Simbolica nameBeforeKeyName Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica Sequencia Simbolica e' igual a Sequencia Simbolica nameIndexOrder Sequencia Simbolica and Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 3374-3380	Entidade se chama nome Sequencia Simbolica nameAfterKeyName Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica Sequencia Simbolica e' igual a Sequencia Simbolica nameIndexOrder Sequencia Simbolica and Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 3339-3344	Entidade se chama nome Sequencia Simbolica keyName Sequencia Simbolica and Sequencia Simbolica stringConcatenation Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica nameIndexOrder Sequencia Simbolica and Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 3429-3433	AutonomousAgent se chama nome Sequencia Simbolica AutonomousAgent e' uma instancia de AutonomousAgent agentName Sequencia Simbolica and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 3446-3450	Humano se chama nome Sequencia Simbolica Humano e' uma instancia de Humano humanName Sequencia Simbolica and Humano
No TPTP formula. May not be expressible in strict first order.	Media.kif 3480-3484	Organizacao se chama nome Sequencia Simbolica Organizacao e' uma instancia de Organizacao organizationName Sequencia Simbolica and Organizacao

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13257-13262	Processo e' uma instancia de Naming Entidade e' um patient de Processo Processo termina em Entidade Entidade se chama nome Entidade vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24632-24643	unitNumber Sequencia Simbolica and PostalPlace floorCode Sequencia Simbolica and PostalPlace Fisico Objeto Objeto e' uma instancia de BuildingLevel Fisico e' uma instancia de Comodo Fisico e' situado em Objeto Objeto e' uma &parte de PostalPlace Fisico se chama nome Sequencia Simbolica Objeto se chama nome Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24645-24655	unitNumber Sequencia Simbolica and PostalPlace Sequencia Simbolica floorCode Sequencia Simbolica and PostalPlace Fisico Fisico e' uma instancia de Comodo Fisico se chama nome Sequencia Simbolica Fisico e' situado em PostalPlace
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24584-24586	canonicalPlaceName Regiao, Linguagem and Sequencia Simbolica Regiao se chama nome Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3218-3226	Entidade e' uma instancia de CommunitySpread Agente Cognitivo Agente Cognitivo sabe Entidade Entidade tem como origem Agente Cognitivo Agente Cognitivo se chama nome Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 31-33	termFormat Linguagem, Entidade and Sequencia Simbolica Linguagem se chama nome Sequencia Simbolica

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	Serbia se chama nome "Republic of Serbia" Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2495-2495	AdanaTurkey se chama nome "Adana"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2497-2497	AddisAbabaEthiopia se chama nome "Addis Ababa"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2499-2499	AdenYemen se chama nome "Aden"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2501-2501	AdoraWestBank se chama nome "Adora"
No TPTP formula. May not be expressible in strict first order.	Economy.kif 352-352	AdvancedDevelopingCountry se chama nome "Advanced Developing Country"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4160-4160	Afghanistan se chama nome "Afghanistan"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3522-3522	Africa se chama nome "Africa"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2503-2503	AfulaIsrael se chama nome "Afula"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2505-2505	AgriTurkey se chama nome "Agri"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2507-2507	AinDeflaAlgeria se chama nome "Ain Defla"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2509-2509	AinElHajarAlgeria se chama nome "Ain el Hajar"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2511-2511	AjaccioFrance se chama nome "Ajaccio"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2513-2513	AlBalamandLebanon se chama nome "Al-Balamand "
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4064-4064	Albania se chama nome "Albania"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2515-2515	AleiSinaiGazaStrip se chama nome "Alei Sinai"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2517-2517	AleiZahavWestBank se chama nome "Alei Zahav"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2519-2519	AleyLebanon se chama nome "Aley"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3946-3946	Algeria se chama nome "Algeria"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2521-2521	AlgiersAlgeria se chama nome "Algiers"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2523-2523	AlkhanYurtRussia se chama nome "Alkhan-Yurt"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2525-2525	AlonMorehWestBank se chama nome "Alon Moreh"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2527-2527	AmbonIndonesia se chama nome "Ambon"
No TPTP formula. May not be expressible in strict first order.	Sports.kif 813-813	FootballUS se chama nome "American Football"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4194-4194	AmericanSamoa se chama nome "American Samoa"
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2529-2529	AmmanJordan se chama nome "Amman"

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: