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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Flat
Flat(flat)sheet

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3238-3242
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3244-3244 Flat is an instance of shape attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27247-27247 Disk shaped is a subattribute of flat
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24187-24187 Disk shaped is a subattribute of flat
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24186-24186 Disk shaped is a subattribute of flat
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24185-24185 Disk shaped is a subattribute of flat

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3245-3258

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26851-26857
No TPTP formula. May not be expressible in strict first order. Media.kif 1089-1091
No TPTP formula. May not be expressible in strict first order. Media.kif 1135-1137
No TPTP formula. May not be expressible in strict first order. Media.kif 1069-1071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27531-27533
No TPTP formula. May not be expressible in strict first order. Economy.kif 6415-6434
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 389-396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6171-6177
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 597-599
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5224-5226
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28638-28647
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28128-28142
No TPTP formula. May not be expressible in strict first order. Food.kif 331-348
No TPTP formula. May not be expressible in strict first order. Weather.kif 3660-3685
No TPTP formula. May not be expressible in strict first order. Weather.kif 3865-3892


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



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