TreeView Knowledge Base Browser - Floor

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Floor

Floor(地板)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15321-15322
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 95-95
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15320-15320	子類地板 and StationaryArtifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24248-24248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24247-24247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24246-24246

antecedent

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

Mid-level-ontology.kif 15324-15329

例 Object and 地板
Object 部分 Object and Object 例 Object and Room

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4078-4095	attribute Object and 幾何圖例 Object and FourPosterBed 例幾何圖 and 四邊形圖的一面一維圖 and 幾何圖圖的一面一維圖 and 幾何圖等於一維圖 and 一維圖 Object Object, 幾何點 and Object 部分 Object and Object 例 Object and 地板方位 Object, Object and 上方位 Object, Object and 垂直一維圖是對於幾何點的交接點一維圖 attribute Object and 幾何點空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3698-3704	例 Physical and 家具有目的 Physical and PhysicalL 例 PhysicalL and 地板空間的符合 Physical and PhysicalL
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5348-5356	例 Physical and 地毯有目的 Physical and entity entity 例 entity and Covering 儀器 entity and Physical 患者 entity and entity 例 entity and 地板
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2037-2046	例 Object and Shower Object Object 例 Object and 壁例 Object and 天花板連接的 Object and Object 例 Object and 地板方位 Object, Object and 以上

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