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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AreaMeasure

Sigma KEE - AreaMeasure
AreaMeasure

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2409-2409
No TPTP formula. May not be expressible in strict first order. Merge.kif 6269-6270
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1096-1096
No TPTP formula. May not be expressible in strict first order. Merge.kif 6267-6267 子類 AreaMeasure and FunctionQuantity

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1305-1305
No TPTP formula. May not be expressible in strict first order. english_format.kif 1827-1827
No TPTP formula. May not be expressible in strict first order. french_format.kif 983-983
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 518-518
No TPTP formula. May not be expressible in strict first order. terms-it.txt 522-522
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2667-2667
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 935-935
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 524-524
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 558-558
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 1004-1004
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 523-523

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 539-539 僅限陸地面積, 2 and AreaMeasure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31195-31195 總面積, 2 and AreaMeasure
No TPTP formula. May not be expressible in strict first order. Geography.kif 548-548 僅限水域, 2 and AreaMeasure

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2080-2090
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 871-878

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Merge.kif 6370-6374


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