TreeView Knowledge Base Browser - totalArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - totalArea

totalArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31193-31194
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31190-31190	总面积的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31191-31191	总面积的 2 数量是面积测量的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31189-31189	总面积是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2475-2475
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2474-2474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2473-2473
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58526-58526
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58525-58525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58524-58524

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	如果实数测量单位是地理区域的 arable 土地和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个另外实数是面积测量的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 arable 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	如果实数测量单位是地理区域的 arable 土地和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2215-2225	如果实数测量单位是地理区域的 irrigated 土地和那个测量单位是 UnitOfArea 的 instance 和另一个实数那个测量单位是那个地理区域的 total 區域和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 irrigated 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2227-2237	如果实数测量单位是地理区域的 irrigated 土地和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 irrigated 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2165-2176	如果实数测量单位是地理区域的 other 土地使用地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 other 土地使用地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2178-2196	如果实数测量单位是地理区域的 other 土地使用地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是土地面积的 instance 和那个另外地理区域不是耕地的 instance 和那个另外地理区域不是永久性耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2125-2136	如果实数测量单位是地理区域的 permanent 农作地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 permanent 农作地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2138-2152	如果实数测量单位是地理区域的 permanent 农作地区和那个实数是 greaterThanOrEqualTo 0.0 和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance，然后有存在另一个地理区域这样那个另外地理区域是永久性耕地的 instance 和那个另外地理区域是那个地理区域的 geographic 次要地区和那个另外地理区域的 measure 是那个实数和那个另外实数那个测量单位

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 555-560	如果测量单位是 UnitOfArea 的 instance 和实数那个测量单位是只对地理区域的 land 地区和另一个实数那个测量单位是只对那个地理区域的 water 区域，然后 (那个实数和那个另外实数) 那个测量单位是那个地理区域的 total 區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31204-31209	如果 memberMeasure 集合, MeasurementAttribute and 面积测量和那个集合是集合的 instance 和地区是那个集合的 element，然后那个面积测量是那个地区的 total 區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31211-31216	如果 memberMeasure 类, Area and 面积测量和那个类是类的 instance 和地区是那个类的 instance，然后那个面积测量是那个地区的 total 區域
No TPTP formula. May not be expressible in strict first order.	Geography.kif 579-585	如果面积测量是只对地理区域的 land 地区，然后有存在地区这样那个地区是地面面积的 instance 和那个地区是那个地理区域的 part 和那个面积测量是那个地区的 total 區域
No TPTP formula. May not be expressible in strict first order.	Geography.kif 603-609	如果面积测量是只对地理区域的 water 区域，然后有存在地区这样那个地区是仅水区的 instance 和那个地区是那个地理区域的 part 和那个面积测量是那个地区的 total 區域

appearance as argument number 0

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

Geography.kif 4659-4660

20327000.0 平方千米是南部海洋的 total 區域

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

Show without tree

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