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. chinese_format.kif 2720-2721
No TPTP formula. May not be expressible in strict first order. Merge.kif 8425-8426
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1444-1445
No TPTP formula. May not be expressible in strict first order. Merge.kif 8422-8422 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 8423-8423 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 8419-8419 during is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8420-8420 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8418-8418 during is an instance of transitive relation

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 439-439
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. japanese_format.kif 2045-2045
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. 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-ro.kif 272-272
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 275-275
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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20703-20703
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20702-20702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20701-20701
No TPTP formula. May not be expressible in strict first order. terms-de.txt 174-174
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 188-188

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 355-373
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6488-6500
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6465-6477
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1492-1504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32596-32617
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 9035-9042
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84
No TPTP formula. May not be expressible in strict first order. Medicine.kif 455-471
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1496-1518
No TPTP formula. May not be expressible in strict first order. Merge.kif 9469-9474
No TPTP formula. May not be expressible in strict first order. Merge.kif 9462-9467
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6014-6034
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 3668-3704
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. Anatomy.kif 1793-1815
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1743-1764
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3947-3959
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3919-3931

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 equal the male life expectancy at birth of a geopolitical area and the year and 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 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 equal the births per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and 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 equal the deaths per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and 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 equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and 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 equal the female life expectancy at birth of a geopolitical area and the year and 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 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 equal the life expectancy at birth of a geopolitical area and the year and 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 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 32141-32154 Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that equal the entity and the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32189-32197 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 204-223
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3534-3543
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3582-3591
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. Medicine.kif 6488-6500
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6465-6477
No TPTP formula. May not be expressible in strict first order. Cars.kif 2551-2567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32160-32171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11908-11924
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9593-9606
No TPTP formula. May not be expressible in strict first order. Merge.kif 8953-8958
No TPTP formula. May not be expressible in strict first order. Merge.kif 9053-9058
No TPTP formula. May not be expressible in strict first order. Merge.kif 8937-8942
No TPTP formula. May not be expressible in strict first order. Cars.kif 1882-1901
No TPTP formula. May not be expressible in strict first order. Cars.kif 1852-1871
No TPTP formula. May not be expressible in strict first order. Cars.kif 1927-1949
No TPTP formula. May not be expressible in strict first order. emotion.kif 1583-1597

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 3.0 is open source software produced by Articulate Software and its partners