BeginFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2697-2698
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8007-8008
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1420-1421
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8004-8004	O argumento numero 1 de BeginFn e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8001-8001	BeginFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8003-8003	BeginFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8002-8002	BeginFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8005-8005	O contra-dominio de BeginFn e' uma instancia de Ponto no tempo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 449-449
No TPTP formula. May not be expressible in strict first order.	english_format.kif 455-455
No TPTP formula. May not be expressible in strict first order.	french_format.kif 261-261
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 34-34
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2051-2051
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 213-213
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 267-267
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 586-586
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 78-78
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 282-282
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 287-287
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 84-84
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10559-10559
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 450-450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10558-10558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10557-10557
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 85-85

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8108-8116	O comeco de Intervalo Temporal comeca antes de o comeco de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8076-8084	O comeco de Intervalo Temporal e' igual a o comeco de Intervalo Temporal o fim de Intervalo Temporal comeca antes de o fim de Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22919-22924	Ponto no tempo e' igual a o comeco de tempo de existencia de Processo Ponto no tempo e' igual a o fim de tempo de existencia de AutonomousAgent benefits Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29583-29592	Ponto no tempo e' igual a o comeco de tempo de existencia de Processo Ponto no tempo e' igual a o fim de tempo de existencia de AutonomousAgent suffers Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23915-23931	Menopausal e' um atributo de Humano vale durante Intervalo Temporal birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Real e' igual a (49 + Numero Inteiro) Numero Real e' igual a (52 + Numero Inteiro) Ponto no tempo e' igual a o comeco de Intervalo Temporal o argumento Ponto no tempo e' maior que Numero Real Numero Real e' maior que Ponto no tempo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23888-23902	Menopausal e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Real e' igual a (1 YearDuration(s) + o comeco de Intervalo Temporal) Intervalo Temporal e' igual a o intervalo entre Intervalo Temporal e o comeco de Intervalo Temporal Processo Processo e' uma instancia de Menstruation AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 501-514	Processo e' uma instancia de Ambulating Processo e' um sub-processo de Processo Processo e' uma instancia de Stepping Processo e' um sub-processo de Processo Processo e' uma instancia de Stepping ProcessoSTART e' igual a o comeco de tempo de existencia de Processo ProcessoSTART e' igual a o comeco de tempo de existencia de Processo ProcessoSTART comeca antes de ProcessoSTART ProcessoSTART comeca antes de ProcessoSTART Processo e' igual a Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12405-12419	Processo e' uma instancia de Colar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo objectAttached Processo and Entidade objectAttached Processo and Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage e' uma instancia de AccessingWebPage Entidade e' uma instancia de WebPage Processo e' uma instancia de DataTransfer Objeto e' uma instancia de Server Processo e' uma instancia de Pedir AutonomousAgent e' uma instancia de WebBrowser Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de AccessingWebPage Processo e' um agente de AutonomousAgent Processo termina em Objeto Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em AutonomousAgent Entidade e' um patient de Processo Processo e' um sub-processo de AccessingWebPage Processo e' um sub-processo de AccessingWebPage o fim de tempo de existencia de Processo e' igual a o comeco de Intervalo Temporal o fim de tempo de existencia de Processo e' igual a o fim de Intervalo Temporal SiteSpeedFn AccessingWebPage e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	Intervalo Temporal e' uma instancia de BringingGEToFront Entidade e' um patient de Intervalo Temporal Entidade e' uma instancia de InterfaceWindow hasGUEState Entidade and Atributo vale durante o comeco de Intervalo Temporal Atributo e' &o oposto de GUE_UncoveredState hasGUEState Entidade and Atributo vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	FinancialAccount e' uma instancia de CertificateOfDeposit maturityDate FinancialAccount and Dia Processo e' uma instancia de Withdrawal Processo tem como origem CurrencyFn FinancialAccount a data de Processo e' Dia o fim de Dia comeca antes de o comeco de Dia Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11669-11676	Processo e' uma instancia de Mudanca de Dono Entidade e' um patient de Processo Entidade possui Entidade vale durante o comeco de tempo de existencia de Processo Entidade possui Entidade vale durante o fim de tempo de existencia de Processo Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12453-12462	Processo e' uma instancia de Descolar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo objectDetached Processo and Entidade objectDetached Processo and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8744-8751	Intervalo Temporal e' uma instancia de o dia Inteiro positivo Intervalo Temporal e' uma instancia de o dia Inteiro positivo Ponto no tempo e' igual a o comeco de Intervalo Temporal Ponto no tempo e' igual a o comeco de Intervalo Temporal Inteiro positivo e' maior que Inteiro positivo Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2421-2430	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Entidade e' uma instancia de Area Geopolitica Entidade e' situado em Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' situado em Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2432-2445	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Area Geopolitica e' uma instancia de Area Geopolitica Entidade e' situado em Area Geopolitica vale durante o comeco de tempo de existencia de Processo Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica sub-divisao geopolitica sub-divisao geopolitica Entidade e' situado em Area Geopolitica vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2456-2466	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Objeto e' uma instancia de Area Geopolitica Fisico e' uma instancia de Area Geopolitica Entidade e' situado em Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' situado em Fisico vale durante o fim de tempo de existencia de Processo Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Media.kif 587-597	Intervalo Temporal e' uma instancia de Hanukkah Ponto no tempo e' igual a o comeco de Intervalo Temporal Posicao Temporal Ponto no tempo e' uma &parte de Posicao Temporal Posicao Temporal e' uma instancia de Mes Posicao Temporal e' uma instancia de Novembro Posicao Temporal e' uma instancia de Dezembro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8376-8386	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal o comeco de Intervalo Temporal e' igual a o comeco de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal Intervalo Temporal e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1399-1404	Intervalo Temporal e' uma instancia de Loan Ponto no tempo e' igual a o comeco de Intervalo Temporal totalBalance Intervalo Temporal and Medida de Divisa currentAccountBalance Intervalo Temporal, Ponto no tempo and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8728-8735	Intervalo Temporal e' uma instancia de o mes Mes Intervalo Temporal e' uma instancia de o mes Mes Ponto no tempo e' igual a o comeco de Intervalo Temporal Ponto no tempo e' igual a o comeco de Intervalo Temporal successorClass Mes and Mes Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1753-1773	MusicalTone e' uma instancia de MusicalTone soundFrequency MusicalTone and Numero Real Hertz(s) loudness MusicalTone and Numero Real Decibel(s) MusicalTone e' situado em o lugar onde Humano estava em o comeco de tempo de existencia de MusicalTone Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real Numero Real e' maior que 250 8000 e' maior que Numero Real Humano e' uma instancia de Humano Processo e' uma instancia de Listening Processo e' um agente de Humano hearingAcuity Humano, Numero Real Decibel(s) and Numero Real Decibel(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19582-19594	Processo e' uma instancia de Oxidation Entidade e' um patient de Processo electronNumber Entidade and Numero Real vale durante o comeco de tempo de existencia de Processo Numero Real Numero Real e' menos que Numero Real electronNumber Entidade and Numero Real vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17637-17655	Intervalo Temporal e' uma instancia de Pulling Intervalo Temporal tem como origem Objeto Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent e' situado em AutonomousAgentLOC vale durante o comeco de Intervalo Temporal Intervalo Temporal termina em Entidade Entidade Entidade and Entidade a distancia entre AutonomousAgentLOC e Entidade e' Entidade Entidade(s) a distancia entre AutonomousAgentLOC e Objeto e' Entidade Entidade(s) Entidade e' maior que Entidade vale durante imediatemente apos o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17615-17633	Intervalo Temporal e' uma instancia de Pushing Intervalo Temporal tem como origem Objeto Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent e' situado em AutonomousAgentLOC vale durante o comeco de Intervalo Temporal Intervalo Temporal termina em Entidade Entidade Entidade and Entidade a distancia entre AutonomousAgentLOC e Entidade e' Entidade Entidade(s) a distancia entre AutonomousAgentLOC e Objeto e' Entidade Entidade(s) Entidade e' maior que Entidade vale durante imediatemente apos o comeco de Intervalo Temporal

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12488-12495	Processo e' uma instancia de Combinar Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6230-6243	allergic Humano and Substancia SubstanciaUB e' uma instancia de Substancia SubstanciaUB encontra Humano vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de AllergicReaction Humano experimenta Entidade tempo de existencia de Entidade engloba Posicao Temporal o comeco de Posicao Temporal comeca antes de o comeco de tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, Medida de Divisa and Posicao Temporal accountHolder FinancialAccount and Agente Cognitivo Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 1936-1941	birthdate JesusOfNazareth and Dia Intervalo Temporal e' uma instancia de o ano -6 Intervalo Temporal e' uma instancia de o ano 4 Dia e' uma &parte de o intervalo entre o comeco de Intervalo Temporal e o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 684-695	checkOutTime Agente Cognitivo and Ponto no tempo guest Agente Cognitivo and Agente Cognitivo expects Agente Cognitivo and Entidade Entidade Entidade e' uma instancia de Ponto no tempo Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de CheckOutService Entidade e' um agente de Agente Cognitivo o comeco de tempo de existencia de Entidade comeca antes de Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 1943-1948	deathdate JesusOfNazareth and Dia Intervalo Temporal e' uma instancia de o ano 29 Intervalo Temporal e' uma instancia de o ano 36 Dia e' uma &parte de o intervalo entre o comeco de Intervalo Temporal e o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	Processo termina em Objeto Processo e' uma instancia de Messaging Entidade e' um patient de Processo Objeto e' uma instancia de Telex Processo Entidade Objeto e' um instrumento para Processo Entidade e' o resultado de Processo Entidade define Entidade Entidade e' uma instancia de Texto o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30680-30686	firstInstanceCreated Fisico and Ponto no tempo Fisico e' uma instancia de Fisico Ponto no tempo ocorre antes ou durante o comeco de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3836-3843	Formula vale durante Intervalo Temporal Formula vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal causesProposition Formula and Formula o comeco de Intervalo Temporal ocorre antes ou durante o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1962-1969	Entidade e' um membro de ConsecutiveTimeIntervalList ConsecutiveTimeIntervalList e' igual a TimeIntervalListFn Intervalo Temporal and Duracao Temporal o comeco de Intervalo Temporal e' igual a o comeco de FirstFn ConsecutiveTimeIntervalList
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23709-23718	initialPart Objeto and Objeto Fisico e' uma instancia de Objeto Entidade Entidade e' uma instancia de Objeto Fisico e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23736-23744	initiallyContainsPart Objeto and Objeto Fisico e' uma instancia de Objeto Entidade Entidade e' uma instancia de Objeto Entidade e' uma &parte de Fisico vale durante o comeco de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21494-21505	Processo e' uma instancia de Aborting Entidade e' um patient de Processo Entidade e' uma instancia de Woman Pregnant e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Pregnant e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1042-1055	Processo e' uma instancia de Appointing Entidade e' um patient de Processo Entidade Entidade Entidade nao ocupa %n a posicao de Entidade Entidade vale durante o comeco de tempo de existencia de Processo Entidade ocupa a posicao de Entidade Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17142-17163	Processo e' uma instancia de Accelerating Processo e' um agente de AutonomousAgent Numero Real Numero Real, Numero Real, Numero Real, Entidade and Entidade a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2268-2277	Intervalo Temporal e' uma instancia de ActivatingUIElement Entidade e' um patient de Intervalo Temporal Entidade e' uma instancia de GUIElement hasGUEState Entidade and GUE_ActiveState vale durante o fim de Intervalo Temporal hasGUEState Entidade and GUE_ActiveState vale durante o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12678-12691	Processo e' uma instancia de Mudanca de Forma Entidade e' um patient de Processo Entidade Entidade e' uma instancia de Atributo de Forma Entidade e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12638-12651	Processo e' uma instancia de Mudanca Superficial Objeto e' um patient de Processo Objeto Entidade Objeto e' uma parte superficial de Objeto Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	Intervalo Temporal e' uma instancia de AddToCart Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal webcart AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12382-12389	Processo e' uma instancia de Colar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16342-16352	Processo e' uma instancia de BecomingDrunk AutonomousAgent experimenta Processo Sober e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Drunk e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17385-17396	Processo e' uma instancia de Boarding Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo onboard AutonomousAgent and Entidade vale durante o comeco de tempo de existencia de Processo onboard AutonomousAgent and Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17426-17438	Processo e' uma instancia de Deboarding Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo onboard AutonomousAgent and Entidade vale durante o comeco de tempo de existencia de Processo onboard AutonomousAgent and Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16362-16372	Processo e' uma instancia de SoberingUp AutonomousAgent experimenta Processo Drunk e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Sober e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21394-21402	Processo e' uma instancia de Bleeding AutonomousAgent experimenta Processo Entidade Entidade e' uma instancia de Sangue Entidade e' uma &parte de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Entidade e' uma &parte de AutonomousAgent vale durante o fim de tempo de existencia de Processo

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: