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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeirutLebanon

Sigma KEE - ArcticRegion
ArcticRegion(arctic region)
Arctic, Arctic_Zone, North_Frigid_Zone

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3564-3568
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2436-2436
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2539-2539
No TPTP formula. May not be expressible in strict first order. Geography.kif 3581-3581 Arctic region is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3561-3561 Arctic region is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3582-3582 Arctic region and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3583-3583 Arctic region and western hemisphere overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3562-3562 Arctic region has name "Arctic"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3563-3563 Arctic region has name "the Arctic"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3584-3584 Arctic ocean and arctic region overlapsSpatially
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8274-8274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8273-8273
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8272-8272

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3570-3579

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3585-3585 Not botanical tree is found in arctic region


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