meetsSpatially - Sigma Knowledge base Browser

appearance as argument number 1

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 2828-2829
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9576-9578
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1570-1572
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9568-9568	O argumento numero 1 de meetsSpatially e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9569-9569	O argumento numero 2 de meetsSpatially e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9573-9573	meetsSpatially e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9571-9571	meetsSpatially e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9572-9572	meetsSpatially e' uma instancia de Relacao Simetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9570-9570	meetsSpatially e' relacionado internamente por SUMO a connected

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order.	english_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	french_format.kif 211-211
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 179-179
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2018-2018
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 163-163
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 218-218
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 486-486
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 217-217
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 231-231
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 228-228
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 354-354
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11494-11494	grasps e' uma sub-relacao de meetsSpatially
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36917-36917
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36916-36916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36915-36915
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 355-355

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	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.	Anatomy.kif 1838-1860	LateralRecumbant e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de LeftArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de LeftLeg Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightLeg Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto Objeto nao encontra %n Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	LateralRecumbant e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de LeftArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de LeftLeg Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightLeg Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto Objeto nao encontra %n Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	Objeto e' uma instancia de Armor Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Preservar Objeto e' um instrumento para Entidade Objeto experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	Objeto e' uma instancia de Armor Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Causar Dano Objeto e' um instrumento para Entidade Objeto experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5016-5025	Objeto e' uma instancia de Bubble Objeto Atributo Atributo e' um atributo de Objeto Objeto e' igual a Gas Objeto encontra Objeto ConvexRoundShape e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 753-763	Processo e' uma instancia de Hurricane eventLocated Processo and Objeto Objeto e' uma instancia de Area Geografica Objeto e' situado em Objeto Objeto encontra Objeto Objeto e' igual a NortheasternPacificOcean Objeto e' igual a NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5246-5251	Objeto e' uma instancia de Inlet Objeto encontra Objeto Objeto e' uma instancia de Area Aquatica nao-salgada Objeto e' uma instancia de Area Aquatica nao-salgada
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5239-5244	Objeto e' uma instancia de Inlet Objeto encontra Objeto Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14208-14214	Objeto e' uma instancia de Ilha Objeto e' uma instancia de Area Geografica Objeto encontra Objeto Objeto e' uma instancia de Area terrestre
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.	Anatomy.kif 1758-1780	muscleInsertion Musculo and Parte do Corpo Objeto e' uma instancia de Humano StandardAnatomicalPosition e' um atributo de Objeto vale durante Intervalo Temporal Healthy e' um atributo de Objeto Intervalo Temporal e' uma instancia de MuscularContraction tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' um instrumento para Intervalo Temporal physicalEnd Objeto and Objeto Objeto encontra Objeto Objeto e' situado em Entidade vale durante o comeco de Intervalo Temporal Objeto e' situado em Entidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	muscleOrigin Musculo and Parte do Corpo Objeto e' uma instancia de Humano StandardAnatomicalPosition e' um atributo de Objeto vale durante Intervalo Temporal Healthy e' um atributo de Objeto Intervalo Temporal e' uma instancia de MuscularContraction tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' um instrumento para Intervalo Temporal physicalEnd Objeto and Objeto Objeto encontra Objeto Objeto e' situado em Entidade vale durante o comeco de Intervalo Temporal Objeto e' situado em Entidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	relativeAngle Objeto, Objeto and Numero Real physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto o comprimento de Objeto e' Numero Real1 Unidade de Medida(s) o comprimento de Objeto e' Numero Real2 Unidade de Medida(s) a distancia entre Objeto e Objeto e' Numero Real3 Unidade de Medida(s) physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto nao encontra %n Objeto Numero Real e' igual a ArcCosineFn (( Numero Real3 + Numero Real3 + Numero Real1 + Numero Real1) + Numero Real2 + Numero Real2) + 2.0 + Numero Real1 + Numero Real2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 724-726	Objeto encontra Objeto Objeto nao engloba %n Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 864-866	Objeto encontra Objeto Objeto e' Adjacent em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6163-6165	Objeto encontra Objeto Objeto e' Adjacent em relacao a Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	GeometricFigure e' um atributo de Objeto Objeto e' uma instancia de FourPosterBed GeometricFigure e' uma instancia de Quadrilateral o lado de GeometricFigure e' OneDimensionalFigure o lado de GeometricFigure e' OneDimensionalFigure OneDimensionalFigure e' igual a OneDimensionalFigure Objeto Objeto, GeometricPoint and Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Floor Objeto e' On em relacao a Objeto Objeto e' Vertical em relacao a Objeto pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint GeometricPoint e' um atributo de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29752-29756	covers Objeto and Objeto Objeto e' uma parte superficial de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	LateralRecumbant e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de LeftArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de LeftLeg Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightLeg Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto Objeto nao encontra %n Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	LateralRecumbant e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de LeftArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de LeftLeg Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightLeg Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto Objeto nao encontra %n Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	Prone e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1814-1821	Supine e' um atributo de Objeto auto-conectado Objeto auto-conectado e' On em relacao a Objeto vale durante Posicao Temporal Objeto auto-conectado e' igual a atras de Objeto auto-conectado Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22018-22025	Objeto e' uma instancia de Blade Processo e' uma instancia de Cortar Objeto e' uma instancia de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1741-1761	Fisico e' uma instancia de Cavitating Objeto auto-conectado e' uma instancia de Pump DeviceOn e' um atributo de Objeto auto-conectado Liquid e' um atributo de Objeto Objeto auto-conectado contem Objeto Objeto auto-conectadoP Entidade Objeto auto-conectadoP e' uma &parte de Objeto auto-conectado Objeto auto-conectadoP tem por fim Liquid e' um atributo de Entidade Entidade encontra Objeto auto-conectadoP Entidade Liquid e' um atributo de Entidade Objeto auto-conectadoP encontra Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objeto e' uma instancia de Crystal MonoCrystalline e' um atributo de Objeto Objeto auto-conectado e' uma instancia de Substancia Solid e' um atributo de Objeto auto-conectado PolyCrystalline e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Substancia Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado ObjetoLNT Numero Inteiro and Objeto ObjetoLNT e' uma instancia de Colecao memberCount ObjetoLNT and Numero Inteiro Numero Inteiro e' maior ou igual a 4 Objeto e' membro de ObjetoLNT Objeto e' uma &parte de Objeto auto-conectado Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9939-9947	Objeto e' uma instancia de Buraco Objeto e' uma &parte de Objeto Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4287-4299	Objeto e' uma instancia de Reel Processo e' uma instancia de Manter Objeto e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Objeto Pliable e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Objeto encontra 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.	Cars.kif 902-915	Objeto e' uma instancia de LeafSpring Objeto e' uma &parte de Objeto Objeto e' uma instancia de RoadVehicle o argumento Objeto2 Objeto2 e' uma instancia de LeafSpring Objeto2 e' uma &parte de Objeto Objeto e' igual a Objeto2 Objeto encontra Objeto2 tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	Objeto auto-conectado e' uma instancia de LiquidDrop Objeto auto-conectado e' uma superficie de Objeto auto-conectado o argumento Objeto auto-conectadoS Entidade Entidade e' uma instancia de Substancia Liquid e' um atributo de Entidade Objeto auto-conectado e' igual a Entidade Objeto auto-conectadoS e' uma superficie de Entidade Objeto auto-conectado encontra Objeto auto-conectadoS tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4819-4833	Objeto auto-conectado e' uma instancia de Objeto ConvexRoundShape e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma instancia de TwoDimensionalObject GeometricPoint GeometricPoint e' uma &parte de Objeto auto-conectado GeometricPoint e' um atributo de GeometricPoint GeometricPoint e' um ponto de Objeto auto-conectado GeometricPoint encontra Objeto auto-conectado GeometricPoint encontra Objeto auto-conectado OneDimensionalFigure a tangente de Objeto auto-conectado e' OneDimensionalFigure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4016-4024	Objeto Corpuscular e' uma instancia de MountainRange Objeto e' uma &parte de Objeto Corpuscular Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de Mountain Objeto encontra Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	Objeto e' uma instancia de Saw Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Objeto Objeto e' um patient de Processo Processo Entidade, Entidade, Intervalo Temporal, Posicao Temporal, Posicao Temporal and Objeto Processo e' uma instancia de Movimento Processo e' um sub-processo de Processo Objeto e' uma instancia de CuttingDevice Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Entidade e' uma instancia de Atributo Directional Entidade e' uma instancia de Atributo Directional as entidades no processo Processo se movem Entidade vale durante Posicao Temporal as entidades no processo Processo se movem Entidade Entidade e' igual a Entidade oppositeDirection Entidade and Entidade ~{ Entidade e' igual a Entidade } ~{ oppositeDirection Entidade and Entidade } vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6152-6161	Objeto e' uma instancia de ShoreArea Objeto e' uma instancia de Area Aquatica Objeto e' Adjacent em relacao a Objeto Objeto Objeto e' uma instancia de Shoreline Objeto e' uma &parte de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1651-1672	Processo e' uma instancia de Tornado Processo e' uma instancia de Rotating Objeto e' uma instancia de Air ProcessoRAN e' uma instancia de Translocation Processo e' um sub-processo de Processo ProcessoRAN e' um sub-processo de Processo Objeto e' um patient de ProcessoRAN as entidades no processo ProcessoRAN se movem Horizontal Objeto Objeto auto-conectado, ProcessoOP, Objeto auto-conectado, Objeto auto-conectado and Objeto auto-conectado Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto Objeto auto-conectado e' uma &parte de Objeto ConeSegment e' um atributo de Objeto auto-conectado o topo de Objeto auto-conectado e' ProcessoOP o fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Cloud o fundo de Objeto auto-conectado e' Objeto auto-conectado ProcessoOP encontra Objeto auto-conectado Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 787-794	Processo e' uma instancia de Typhoon eventLocated Processo and Objeto Objeto e' uma instancia de Area Geografica Objeto e' situado em NorthwesternPacificOcean Objeto encontra NorthwesternPacificOcean
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1289-1293	physicalEnd Objeto and Objeto Objeto e' uma parte superficial de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1280-1287	physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto nao encontra %n Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5072-5080	Animal usa WearableItem WearableItem e' uma instancia de Belt WearableItem WearableItem e' uma instancia de Roupa Animal usa WearableItem WearableItem encontra WearableItem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5120-5128	Animal usa WearableItem WearableItem e' uma instancia de Collar Objeto Objeto e' uma instancia de Neck Objeto e' uma &parte de Animal WearableItem encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5135-5143	Animal usa WearableItem WearableItem e' uma instancia de Glove Objeto Objeto e' uma instancia de Hand Objeto e' uma &parte de Animal WearableItem encontra 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.	CountriesAndRegions.kif 866-866	Alabama encontra Mississippi
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 882-882	Alaska encontra ArcticOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 880-880	Alaska encontra Canada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 881-881	Alaska encontra PacificOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 885-885	Arizona encontra California
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 886-886	Arizona encontra Mexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 884-884	Arizona encontra Nevada
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 892-892	Arkansas encontra Louisiana
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 890-890	Arkansas encontra Oklahoma
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 891-891	Arkansas encontra Texas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 136-136	BassasDaIndia encontra IndianOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 138-138	BouvetIsland encontra SouthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 904-904	California encontra Mexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 905-905	California encontra NewMexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 906-906	California encontra Oregon
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 903-903	California encontra PacificOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 907-907	California encontra Washington
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 410-410	Canada encontra UnitedStates
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 910-910	Colorado encontra Arizona
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 911-911	Colorado encontra NewMexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 912-912	Colorado encontra Texas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 909-909	Colorado encontra Utah
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 920-920	Delaware encontra Maryland
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 919-919	Delaware encontra NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 921-921	Delaware encontra Pennsylvania

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: