TreeView Knowledge Base Browser - Oversized

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Oversized

Oversized

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1168-1169
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1167-1167	例 Oversized and RelationalAttribute

appearance as argument number 2

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

Hotel.kif 1170-1170

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	attribute Object and Oversized 立即實例 Object and Class 子類 Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure 立即實例 Physical and Class 例 UnitOfMeasure and UnitOfArea 測量 Physical and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and AreaMeasure 例 RealNumber and AreaMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	立即實例 Object and Class 立即實例 Physical and Class attribute Object and Oversized ObjectSIZE PhysicalSIZE and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectSIZE and UnitOfMeasure 測量 Physical and 測量 PhysicalSIZE and UnitOfMeasure 比較多 ObjectSIZE and PhysicalSIZE

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