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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AsiaPacificEconomicCooperation

Sigma KEE - North
North

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17083-17083 North e' &o oposto de South
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3804-3804
No TPTP formula. May not be expressible in strict first order. Merge.kif 17084-17084
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1870-1870
No TPTP formula. May not be expressible in strict first order. Merge.kif 17082-17082 North e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18160-18160 oppositeDirection North and South

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40949-40949
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40948-40948
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40947-40947

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 289-289 CaribbeanRegion e' North em relacao a SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 275-275 Europe e' North em relacao a Africa
No TPTP formula. May not be expressible in strict first order. Geography.kif 287-287 MiddleAmerica e' North em relacao a SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 NorthAmerica e' North em relacao a SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 6951-6951 Scotland e' North em relacao a England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6964-6964 Scotland e' North em relacao a Wales

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17089-17091 Objeto e' North em relacao a Objeto Objeto e' South em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 433-440

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3731-3733 courseWRTTrueNorth Objeto, Objeto and 0.0 AngularDegree(s) Objeto e' North em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 courseWRTTrueNorth Objeto, Objeto and 360.0 AngularDegree(s) Objeto e' North em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3653-3657 Objeto e' Northeast em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' East em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3688-3692 Objeto e' Northwest em relacao a Objeto Objeto e' North em relacao a Objeto Objeto e' West em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3595-3615
No TPTP formula. May not be expressible in strict first order. Weather.kif 611-630
No TPTP formula. May not be expressible in strict first order. Geography.kif 421-425


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