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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeographicPartTypeFn

Sigma KEE - GeographicPartTypeFn
GeographicPartTypeFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6604-6607
No TPTP formula. May not be expressible in strict first order. Geography.kif 6602-6602 The number 2 argument of GeographicPartTypeFn is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 6601-6601 The number 1 argument of GeographicPartTypeFn is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 6600-6600 GeographicPartTypeFn is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Geography.kif 6603-6603 The values returned by GeographicPartTypeFn are subclasses of geographic area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3523-3523
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3522-3522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3521-3521

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6619-6624
No TPTP formula. May not be expressible in strict first order. Geography.kif 6626-6630
No TPTP formula. May not be expressible in strict first order. Geography.kif 6609-6611
No TPTP formula. May not be expressible in strict first order. Geography.kif 6615-6617

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6664-6664 American state is equal to all the instances of state or province in united states


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