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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WhereFn
WhereFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4336-4337
No TPTP formula. May not be expressible in strict first order. Merge.kif 4333-4335
No TPTP formula. May not be expressible in strict first order. Merge.kif 4329-4329 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4330-4330 The number 2 argument of where is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 4326-4326 Where is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4327-4327 Where is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4328-4328 Where is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4331-4331 The range of where is an instance of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 4332-4332 Where is internally related to when

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order. english_format.kif 165-165
No TPTP formula. May not be expressible in strict first order. french_format.kif 155-155
No TPTP formula. May not be expressible in strict first order. relations-it.txt 315-315
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 107-107
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 103-103
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 162-162
No TPTP formula. May not be expressible in strict first order. relations-de.txt 353-353
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 58-58
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 507-507
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 274-274 "表示位置的函数" is the printable form of where in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10927-10927 "where" is the printable form of where in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 553-553 "«المَكَان حَيْثُ كَانَ»" is the printable form of where in ar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4339-4341 The place where a physical was at a time point is equal to a region if and only if the physical is exactly located in the region holds during the time point

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


No TPTP formula. May not be expressible in strict first order. People.kif 104-117 The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 138-151 The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2483-2497
No TPTP formula. May not be expressible in strict first order. Merge.kif 9487-9493
No TPTP formula. May not be expressible in strict first order. Merge.kif 8151-8154


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners