BorderFn - Sigma Knowledge base Browser

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	The number 1 argument of border is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 689-689	The number 2 argument of border is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 686-686	Border is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 690-690	The range of border is an instance of geographic area

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	Border has name "border"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6176-6176	Shoreline is a subrelation of border
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	If the border of a geographic area and another geographic area is an instance of geographic area and the geographic area is an instance of nation and the other geographic area is an instance of nation, then the border of the geographic area and the other geographic area is an instance of international border
No TPTP formula. May not be expressible in strict first order.	Geography.kif 695-697	If the border of a geographic area and another geographic area is an instance of geographic area, then the geographic area meets the other geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 712-714	If the border of a geographic area and another geographic area is an instance of geographic area, then the geographic area is adjacent to the other geographic area

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 705-710	If the border of a geographic area and another geographic area is an instance of geographic area and the geographic area is an instance of nation and the other geographic area is an instance of nation, then the border of the geographic area and the other geographic area is an instance of international border
No TPTP formula. May not be expressible in strict first order.	Geography.kif 699-703	If a geographic area is an instance of geographic area and another geographic area is an instance of geographic area, then the border of the geographic area and the other geographic area is equal to the border of the other geographic area and the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 742-750	If an object is an instance of checkpoint, then there exists another object such that the other object is an instance of road and the other object is near to the object or there exist a geographic area and another geographic area such that the border of the geographic area and the other geographic area is near to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 758-760	If the boundary between a geographic area and another geographic area is a length measure long, then the length of the border of the geographic area and the other geographic area is the length measure

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