WhereFn - Sigma Knowledge base Browser

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.	chinese_format.kif 2131-2132
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4240-4242
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 786-787
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4235-4235	The number 1 argument of where is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4236-4236	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 4232-4232	Where is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4233-4233	Where is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4234-4234	Where is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4237-4237	The range of where is an instance of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4238-4238	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.	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.	japanese_format.kif 1983-1983
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.	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-ro.kif 174-174
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 161-161
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.	domainEnglishFormat.kif 63014-63014
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 63013-63013
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63012-63012
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 113-113

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1746-1766	If a musical tone is an instance of musical tone and the frequency of the musical tone is a real number hertz(s) and the sound of the musical tone is another real number dB(A)(s) and the musical tone is located at the place where a human was at the beginning of the time of existence of the musical tone and a third real number is greater than the other real number and the other real number is greater than a fourth real number and the real number is greater than 250 and 8000 is greater than the real number and the human is an instance of human and a process is an instance of listening and the human is an agent of the process, then the human can hear frequency of the third real number dB(A)(s) at the fourth real number dB(A)(s) decibels
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4244-4248	If the place where a physical was at a time point is equal to a region, then 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 357-390	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 exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year 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 118-133	A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year 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 238-264	A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year 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 403-436	A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2550-2564	If a process is an instance of evacuating and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9722-9728	If an entity is an instance of case role and an object is an instance of object and the entity a physical and the object, then there exists a time point such that the place where the physical was at the time point and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4250-4254	If a physical is exactly located in a region holds during a time point, then the place where the physical was at the time point is equal to the region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13746-13755	If a physical is an instance of inflammation, then there exist a transfer and an object such that the transfer is an instance of translocation and the object is an instance of white blood cell and the object transferred in the transfer is the object and the transfer ends up at the place where the physical was at the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8058-8066	If a process originates at an object, then the place where the process was at the beginning of the time of existence of the process is located at the place where the object was at the beginning of the time of existence of the object

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