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 8431-8432
No TPTP formula. May not be expressible in strict first order. Merge.kif 8429-8430
No TPTP formula. May not be expressible in strict first order. Merge.kif 8427-8427 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 8428-8428 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 8425-8425 during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8424-8424 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 262-262
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

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 802-815
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28798-28819
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 8959-8966
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
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 3864-3899
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 8434-8438
No TPTP formula. May not be expressible in strict first order. Merge.kif 8420-8422

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 another integer is equal to the number of instances in the class described by a symbolic string and the other integer 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 another integer is equal to the number of instances in the class described by a symbolic string and the other integer 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 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 a quantity 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 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 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 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 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 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 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. Mid-level-ontology.kif 28418-28426 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 3730-3739
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3778-3787
No TPTP formula. May not be expressible in strict first order. Cars.kif 2553-2569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28390-28401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8111-8124
No TPTP formula. May not be expressible in strict first order. Cars.kif 1890-1906
No TPTP formula. May not be expressible in strict first order. Cars.kif 1863-1879
No TPTP formula. May not be expressible in strict first order. Cars.kif 1932-1951
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 3299-3318
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3570-3603
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3623-3650
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3670-3703
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1050-1062
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2595-2615

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