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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PerimeterAreaFn
PerimeterAreaFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 772-774
No TPTP formula. May not be expressible in strict first order. Geography.kif 769-769 The number 1 argument of perimeter area is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 768-768 Perimeter area is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 770-770 The values returned by perimeter area are subclasses of perimeter area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1943-1943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1942-1942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1941-1941
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45180-45180
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45179-45179
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45178-45178

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


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 776-778

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 787-789


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