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 8334-8335
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 8331-8331 Le nombre 1 argument de during est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8332-8332 Le nombre 2 argument de during est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8328-8328 during est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 8329-8329 during est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 8327-8327 during est une instance de relation transitive

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 20694-20694
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20693-20693
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20692-20692
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 367-385
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 6470-6482
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6447-6459
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1500-1512
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30650-30671
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 8944-8951
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 466-482
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. Medicine.kif 5997-6017
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 1758-1780
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1708-1729
No TPTP formula. May not be expressible in strict first order. Weather.kif 2724-2744
No TPTP formula. May not be expressible in strict first order. Weather.kif 2746-2767
No TPTP formula. May not be expressible in strict first order. Merge.kif 8337-8341
No TPTP formula. May not be expressible in strict first order. Merge.kif 8280-8282

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 Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30211-30224 Alone est un attribut de entit� pendant interval temporel entit�2 processus entit� est entit�2 entit�2 est une instance de AutonomousAgent processus est une instance de interaction social temps d'existence de processus prend place pendant interval temporel involvedInEvent processus and entit� involvedInEvent processus and entit�2
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30259-30267 Mute est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de Speaking temps d'existence de processus prend place pendant interval temporel processus est un agent de AutonomousAgent
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 6470-6482
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6447-6459
No TPTP formula. May not be expressible in strict first order. Cars.kif 2573-2589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30230-30241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10576-10592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8386-8399
No TPTP formula. May not be expressible in strict first order. Merge.kif 8862-8867
No TPTP formula. May not be expressible in strict first order. Merge.kif 8962-8967
No TPTP formula. May not be expressible in strict first order. Merge.kif 8846-8851
No TPTP formula. May not be expressible in strict first order. Cars.kif 1904-1923
No TPTP formula. May not be expressible in strict first order. Cars.kif 1874-1893
No TPTP formula. May not be expressible in strict first order. Cars.kif 1949-1971
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