TreeView Knowledge Base Browser - BorderFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BorderFn

BorderFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 692-693
No TPTP formula. May not be expressible in strict first order.	Geography.kif 688-688	O argumento numero 1 de BorderFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 689-689	O argumento numero 2 de BorderFn e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 686-686	BorderFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Geography.kif 690-690	O contra-dominio de BorderFn e' uma instancia de Area Geografica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 324-324
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 323-323
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 322-322
No TPTP formula. May not be expressible in strict first order.	Geography.kif 687-687	BorderFn se chama nome "border"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6176-6176	ShorelineFn e' uma sub-relacao de BorderFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11651-11651
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11650-11650
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11649-11649

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 705-710	BorderFn Area Geografica and Area Geografica e' uma instancia de Area Geografica Area Geografica e' uma instancia de Nacao Area Geografica e' uma instancia de Nacao BorderFn Area Geografica and Area Geografica e' uma instancia de InternationalBorder
No TPTP formula. May not be expressible in strict first order.	Geography.kif 695-697	BorderFn Area Geografica and Area Geografica e' uma instancia de Area Geografica Area Geografica encontra Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 712-714	BorderFn Area Geografica and Area Geografica e' uma instancia de Area Geografica Area Geografica e' Adjacent em relacao a Area Geografica

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 705-710	BorderFn Area Geografica and Area Geografica e' uma instancia de Area Geografica Area Geografica e' uma instancia de Nacao Area Geografica e' uma instancia de Nacao BorderFn Area Geografica and Area Geografica e' uma instancia de InternationalBorder
No TPTP formula. May not be expressible in strict first order.	Geography.kif 699-703	Area Geografica e' uma instancia de Area Geografica Area Geografica e' uma instancia de Area Geografica BorderFn Area Geografica and Area Geografica e' igual a BorderFn Area Geografica and Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 742-750	Objeto e' uma instancia de Checkpoint Objeto Objeto e' uma instancia de Road Objeto e' Near em relacao a Objeto Area Geografica Area Geografica BorderFn Area Geografica and Area Geografica e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 758-760	sharedBorderLength Area Geografica, Area Geografica and Medida de Comprimento o comprimento de BorderFn Area Geografica and Area Geografica e' Medida de Comprimento

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