between - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - between

between

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2119-2121
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4156-4159
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 772-774
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4152-4152	O argumento numero 1 de between e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4153-4153	O argumento numero 2 de between e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4154-4154	O argumento numero 3 de between e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4150-4150	between e' uma instancia de Relacao Espacial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4151-4151	between e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	english_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	french_format.kif 58-58
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 37-37
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1881-1881
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 10-10
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 71-71
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 71-71
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 55-55
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 77-77
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 90-90
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 66-66
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10900-10900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10899-10899
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 18-18
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 91-91

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto e' uma instancia de Organismo Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4161-4163	Objeto esta' entre Objeto e Objeto Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9564-9566	Objeto esta' entre Objeto e Objeto Objeto conecta Objeto e Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17026-17031	Atributo Posicional e' uma instancia de Atributo Directional Objeto e' Atributo Posicional em relacao a Objeto Objeto e' Atributo Posicional em relacao a Objeto Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	Objeto auto-conectado e' uma instancia de Isthmus o side de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' igual a Objeto auto-conectado Objeto Objeto, Objeto and Objeto Objeto e' uma instancia de Area terrestre Objeto e' uma instancia de Area terrestre Objeto auto-conectado esta' entre Objeto e Objeto Objeto e' uma instancia de Area Aquatica Objeto e' uma instancia de Area Aquatica Objeto auto-conectado encontra Objeto Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 224-237	Objeto Corpuscular e' uma instancia de MiddleCIButton Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de ComputerInputDevice Objeto Corpuscular Objeto Corpuscular Objeto Corpuscular e' uma instancia de RightCIButton Objeto Corpuscular e' uma instancia de LeftCIButton Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular esta' entre Objeto Corpuscular e Objeto Corpuscular Objeto Corpuscular e' Left em relacao a Objeto Corpuscular Objeto Corpuscular e' Right em relacao a Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	Transferencia e' uma instancia de Thoracentesis Objeto e' um patient de Transferencia Transferencia Objeto, TransferenciaN, Objeto, Objeto and Objeto Transferencia e' uma instancia de Inserting Transferencia e' um sub-processo de Transferencia objectTransferred Transferencia and Objeto Transferencia tem como origem Objeto Transferencia termina em TransferenciaN Objeto e' uma instancia de Needle Fluid e' um atributo de Objeto objectTransferred Transferencia and Objeto Objeto termina em Objeto Objeto e' uma instancia de Lung Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Transferencia tem como origem TransferenciaN Transferencia termina em Objeto TransferenciaN esta' entre Objeto e Objeto Objeto e' Outside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objeto e' uma instancia de VentedChestSeal Transferencia e' uma instancia de Colar objectTransferred Transferencia and Objeto Transferencia termina em Entidade Objeto tem por fim Transferencia Entidade, Entidade and Entidade Transferencia e' uma instancia de Air Entidade e' uma instancia de Lung Entidade e' uma instancia de Chest Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Transferencia esta' entre Entidade e Entidade vale durante imediatemente antes de tempo de existencia de Transferencia Objeto tem por fim Transferencia e' Outside em relacao a Entidade vale durante imediatemente apos tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1206-1212	Area Geografica e' uma instancia de MaritimeContiguousZone claimedTerritory Area Geografica and AutonomousAgent Area Geografica e' uma instancia de TerritorialSea claimedTerritory Area Geografica and AutonomousAgent Area Geografica esta' entre AutonomousAgent e Area Geografica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11104-11114	Objeto e' o caminho ao longo do qual Movimento ocorre Movimento tem como origem Objeto Movimento termina em Objeto o comprimento de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real Objeto e' uma &parte de Objeto Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15188-15209	Classe e' uma sub-classe de Tecido Classe e' uma sub-classe de Tecido Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Objeto e' uma instancia de Humano Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Classe e' igual a Classe Classe e' uma sub-classe de Classe Classe e' uma sub-classe de Classe Objeto e' Adjacent em relacao a Objeto o argumento Entidade Entidade e' uma instancia de ConnectiveTissue Entidade esta' entre Objeto e Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15151-15163	Translucent e' um atributo de Objeto o argumento Entidade Entidade and ObjetoBJ Entidade e' uma instancia de Luz Irradiante Entidade e' um recurso para Entidade Entidade termina em ObjetoBJ Objeto esta' entre Entidade e ObjetoBJ Illuminated e' um atributo de ObjetoBJ vale durante tempo de existencia de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15139-15149	Translucent e' um atributo de Objeto o argumento Entidade Entidade and Entidade Entidade e' uma instancia de Visao Entidade e' um agente de Entidade Entidade termina em Entidade Entidade esta' entre Objeto e Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15123-15132	Transparent e' um atributo de Objeto o argumento Entidade Entidade and Entidade Entidade e' uma instancia de Visao Entidade e' um agente de Entidade Entidade termina em Entidade Entidade esta' entre Objeto e Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4161-4163	Objeto esta' entre Objeto e Objeto Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4178-4180	betweenOnPath Objeto, Objeto, Objeto and Objeto Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9560-9562	Objeto conecta Objeto e Objeto Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	Pneumothorax e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Lung Entidade e' uma instancia de Chest Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade esta' entre Entidade e Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9080-9086	Objeto e' uma instancia de StormFront Objeto Objeto Objeto e' uma instancia de Air Objeto e' uma instancia de Air Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15621-15636	Fisico e' uma instancia de Hallway Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Translocation Fisico e' o caminho ao longo do qual Entidade ocorre Fisico e' situado em Entidade Entidade e' uma instancia de Predio Fisico esta' entre Entidade e Entidade Entidade e' uma instancia de Comodo Entidade e' uma instancia de Comodo Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3244-3254	Objeto e' uma instancia de LaminatedWindshield Objeto Objeto and Objeto Objeto e' uma instancia de Glass Objeto e' uma instancia de Glass Objeto e' uma instancia de Plastic Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 1584-1597	Objeto e' uma instancia de Sandwich Objeto Objeto and Objeto Objeto e' uma instancia de BreadOrBiscuit Objeto e' uma instancia de BreadOrBiscuit Objeto e' uma instancia de FoodForFn Humano Objeto esta' entre Objeto e Objeto Objeto e' igual a Objeto Objeto e' igual a Objeto Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

CountriesAndRegions.kif 233-233

SaintHelena esta' entre SouthAmerica e WesternAfrica

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