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 2458-2461
(domain environmentalProblemTypeInArea 1 GeographicArea) Geography.kif 2455-2455 The number 1 argument of environmental problem type in area is an instance of geographic area
(domainSubclass environmentalProblemTypeInArea 2 Physical) Geography.kif 2456-2456 The number 2 argument of environmental problem type in area is a subclass of physical
(instance environmentalProblemTypeInArea BinaryPredicate) Geography.kif 2454-2454 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 22264-22264
(termFormat ChineseTraditionalLanguage environmentalProblemTypeInArea "區域環境問題類型") domainEnglishFormat.kif 22263-22263
(termFormat EnglishLanguage environmentalProblemTypeInArea "environmental problem type in area") domainEnglishFormat.kif 22262-22262

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


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


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