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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - environmentalProblemTypeInArea
environmentalProblemTypeInArea

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


(documentation environmentalProblemTypeInArea EnglishLanguage "(environmentalProblemTypeInArea ?AREA ?PROBLEM) means that objects or processes of type ?PROBLEM is an environmental problem in the GeographicArea ?AREA.") Geography.kif 2420-2423
(domain environmentalProblemTypeInArea 1 GeographicArea) Geography.kif 2417-2417 The number 1 argument of environmental problem type in area is an instance of geographic area
(domainSubclass environmentalProblemTypeInArea 2 Physical) Geography.kif 2418-2418 The number 2 argument of environmental problem type in area is a subclass of physical
(instance environmentalProblemTypeInArea BinaryPredicate) Geography.kif 2416-2416 environmental problem type in area is an instance of binary predicate

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


(format ChineseLanguage environmentalProblemTypeInArea "%2 %n 是在地区 %1 的 environmental 问题类别") domainEnglishFormat.kif 911-911
(format ChineseTraditionalLanguage environmentalProblemTypeInArea "%2 %n 是在地區 %1 的 environmental 問題類別") domainEnglishFormat.kif 910-910
(format EnglishLanguage environmentalProblemTypeInArea "%2 is %n an environmental problem type in area of %1") domainEnglishFormat.kif 909-909
(termFormat ChineseLanguage environmentalProblemTypeInArea "区域环境问题类型") domainEnglishFormat.kif 22257-22257
(termFormat ChineseTraditionalLanguage environmentalProblemTypeInArea "區域環境問題類型") domainEnglishFormat.kif 22256-22256
(termFormat EnglishLanguage environmentalProblemTypeInArea "environmental problem type in area") domainEnglishFormat.kif 22255-22255

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


(=>
    (environmentalProblemTypeInArea ?AREA ?PROBLEM)
    (exists (?EVENT)
        (and
            (instance ?EVENT ?PROBLEM)
            (eventLocated ?EVENT ?AREA))))
Geography.kif 2425-2430


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