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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - during
during

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8379-8380
No TPTP formula. May not be expressible in strict first order. Merge.kif 8377-8378
No TPTP formula. May not be expressible in strict first order. Merge.kif 8375-8375 The number 1 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8376-8376 The number 2 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8373-8373 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8372-8372 during is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8371-8371 during is a subrelation of temporal part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order. english_format.kif 262-262
No TPTP formula. May not be expressible in strict first order. french_format.kif 251-251
No TPTP formula. May not be expressible in strict first order. relations-it.txt 86-86
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 185-185
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order. relations-de.txt 565-565
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 126-126
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 120-120
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 434-434 "在这时间内" is the printable form of during in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3870-3870 "during" is the printable form of during in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 635-635 "«يَحْدُث خِلالَ»" is the printable form of during in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 188-188 "sa panahon ng" is the printable form of during in tg

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Cars.kif 843-856
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28357-28378
No TPTP formula. May not be expressible in strict first order. Media.kif 437-444
No TPTP formula. May not be expressible in strict first order. Media.kif 446-453
No TPTP formula. May not be expressible in strict first order. Merge.kif 8859-8866
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1704-1726
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 447-460
No TPTP formula. May not be expressible in strict first order. Media.kif 387-394
No TPTP formula. May not be expressible in strict first order. Media.kif 396-403
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3865-3900
No TPTP formula. May not be expressible in strict first order. Media.kif 538-547
No TPTP formula. May not be expressible in strict first order. Media.kif 473-482
No TPTP formula. May not be expressible in strict first order. Media.kif 559-568
No TPTP formula. May not be expressible in strict first order. Dining.kif 375-386
No TPTP formula. May not be expressible in strict first order. Weather.kif 1137-1153
No TPTP formula. May not be expressible in strict first order. Weather.kif 1155-1172
No TPTP formula. May not be expressible in strict first order. Merge.kif 8382-8386

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. Mid-level-ontology.kif 27977-27985 Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3731-3740
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3779-3788
No TPTP formula. May not be expressible in strict first order. emotion.kif 161-172
No TPTP formula. May not be expressible in strict first order. Cars.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27949-27960
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8099-8112
No TPTP formula. May not be expressible in strict first order. Cars.kif 1931-1947
No TPTP formula. May not be expressible in strict first order. Cars.kif 1904-1920
No TPTP formula. May not be expressible in strict first order. Cars.kif 1973-1992
No TPTP formula. May not be expressible in strict first order. Media.kif 437-444
No TPTP formula. May not be expressible in strict first order. Media.kif 446-453
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3300-3319
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3571-3604
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3624-3651
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3671-3704
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1050-1062

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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