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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UniformPerimeterArea
UniformPerimeterArea(uniform perimeter area)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 822-823
No TPTP formula. May not be expressible in strict first order. Geography.kif 820-820 Uniform perimeter area is a subclass of perimeter area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59954-59954
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59953-59953
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59952-59952

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 837-850
No TPTP formula. May not be expressible in strict first order. Geography.kif 863-872
No TPTP formula. May not be expressible in strict first order. Geography.kif 852-861
No TPTP formula. May not be expressible in strict first order. Geography.kif 825-828
No TPTP formula. May not be expressible in strict first order. Geography.kif 830-835

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 791-793


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