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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Flat
Flat

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2768-2772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2774-2774 Flat est une instance de attribut de forme

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25642-25642 DiskShaped est un sous-attribut de Flat
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24182-24182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24181-24181
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24180-24180

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25246-25252
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 25666-25668
No TPTP formula. May not be expressible in strict first order. Economy.kif 6017-6036
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 5228-5234
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 489-491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4763-4765
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26772-26781
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26262-26276
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 2813-2838
No TPTP formula. May not be expressible in strict first order. Weather.kif 3018-3045


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