Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SaltWaterArea
SaltWaterArea(Area Aquatica salgada)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14180-14180 Area Aquatica salgada e' disjunto de Area Aquatica nao-salgada
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1449-1450
No TPTP formula. May not be expressible in strict first order. Merge.kif 14181-14182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2519-2519
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2625-2625
No TPTP formula. May not be expressible in strict first order. Merge.kif 14179-14179 Area Aquatica salgada e' uma sub-classe de Area Aquatica

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5166-5166 GulfOfAden e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5174-5174 GulfOfMexico e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5158-5158 GulfOfOman e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4539-4539 NorthAtlanticOcean e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4571-4571 NorthPacificOcean e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4585-4585 NortheasternPacificOcean e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4598-4598 NorthwesternPacificOcean e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5152-5152 PersianGulf e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4552-4552 SouthAtlanticOcean e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4611-4611 SouthPacificOcean e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5313-5313 StraitOfHormuz e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4498-4498 WorldOcean e' uma instancia de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5180-5180 Estuary e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 1133-1133 ExclusiveFishingZone e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 1165-1165 ExtendedFishingZone e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5123-5123 Gulf e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 1031-1031 MaritimeContiguousZone e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 1100-1100 MaritimeExclusiveEconomicZone e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4512-4512 Ocean e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 5086-5086 SaltLake e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4757-4757 Sea e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 1197-1197 TerritorialSea e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. Geography.kif 4944-4944 Tide e' uma sub-classe de Area Aquatica salgada
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 951-951

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6112-6112 O argumento numero 2 de SeacoastFn e' uma instancia de Area Aquatica salgada

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5239-5244

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4711-4720 OpenSea e' um atributo de Objeto Fisico Numero Real Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de LandlockedWater a distancia entre Fisico e Objeto e' Numero Real NauticalMile(s) Numero Real e' maior que 5.0
No TPTP formula. May not be expressible in strict first order. Geography.kif 6126-6131
No TPTP formula. May not be expressible in strict first order. Geography.kif 5239-5244
No TPTP formula. May not be expressible in strict first order. Geography.kif 942-950
No TPTP formula. May not be expressible in strict first order. Geography.kif 5138-5143
No TPTP formula. May not be expressible in strict first order. Geography.kif 2829-2834
No TPTP formula. May not be expressible in strict first order. Geography.kif 5187-5193


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