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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WhereFn

Sigma KEE - WhereFn
WhereFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2131-2132
No TPTP formula. May not be expressible in strict first order. Merge.kif 4137-4139
No TPTP formula. May not be expressible in strict first order. Merge.kif 4132-4132 The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4133-4133 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 4129-4129 Where is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4130-4130 Where is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4131-4131 Where is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4134-4134 The range of where is an instance of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 4135-4135 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 278-278
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62958-62958
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62957-62957
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62956-62956

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4141-4145

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


No TPTP formula. May not be expressible in strict first order. People.kif 372-405 A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year 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 another integer 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 108-121 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 another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 142-155 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 another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 257-281 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 another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 418-449 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 another integer 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 327-357 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 another integer 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 2515-2529
No TPTP formula. May not be expressible in strict first order. Merge.kif 9503-9509
No TPTP formula. May not be expressible in strict first order. Merge.kif 4147-4151
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11874-11883
No TPTP formula. May not be expressible in strict first order. Merge.kif 7892-7900


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