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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfArea

 Sigma KEE - UnitOfArea
UnitOfArea

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2410-2411
No TPTP formula. May not be expressible in strict first order. Merge.kif 6274-6276
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1097-1098
No TPTP formula. May not be expressible in strict first order. Merge.kif 6272-6272 子類 UnitOfArea and CompositeUnitOfMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13689-13689 例 英畝 and UnitOfArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13624-13624 例 SquareFoot and UnitOfArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 613-613 例 平方千米 and UnitOfArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 3953-3953 例 平方米 and UnitOfArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13692-13692 例 平方英里 and UnitOfArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13702-13702 例 方碼 and UnitOfArea
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65652-65652

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31722-31722 域 populationDensity, 3 and UnitOfArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2092-2106
No TPTP formula. May not be expressible in strict first order. Geography.kif 659-669
No TPTP formula. May not be expressible in strict first order. Merge.kif 6370-6374
No TPTP formula. May not be expressible in strict first order. Geography.kif 555-560
No TPTP formula. May not be expressible in strict first order. Geography.kif 2215-2225
No TPTP formula. May not be expressible in strict first order. Geography.kif 2239-2249
No TPTP formula. May not be expressible in strict first order. Geography.kif 2227-2237
No TPTP formula. May not be expressible in strict first order. Geography.kif 2165-2176
No TPTP formula. May not be expressible in strict first order. Geography.kif 2178-2196
No TPTP formula. May not be expressible in strict first order. Geography.kif 2125-2136
No TPTP formula. May not be expressible in strict first order. Geography.kif 2138-2152