temporallyBetween - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - temporallyBetween

temporallyBetween

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2711-2713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8201-8204
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1435-1437
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8197-8197	Le nombre 1 argument de temporallyBetween est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8198-8198	Le nombre 2 argument de temporallyBetween est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8199-8199	Le nombre 3 argument de temporallyBetween est une instance de point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8195-8195	temporallyBetween est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8193-8193	temporallyBetween est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8194-8194	temporallyBetween est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8196-8196	temporallyBetween est une sous-relation de temporallyBetweenOrEqual

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 427-427
No TPTP formula. May not be expressible in strict first order.	english_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	french_format.kif 248-248
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 294-294
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2042-2042
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 200-200
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 253-253
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 556-556
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 330-330
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 269-269
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 271-271
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 486-486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57442-57442
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 428-428
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57441-57441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57440-57440

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 8206-8210

Point temporel est entre point temporel et point temporel
point temporel se produit avant point temporel point temporel se produit avant point temporel

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8212-8216	Point temporel se produit avant point temporel point temporel se produit avant point temporel point temporel est entre point temporel et point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7929-7934	Point temporel est une instance de point temporel point temporel est NegativeInfinity point temporel point temporel est entre NegativeInfinity et point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7911-7916	Point temporel est une instance de point temporel point temporel est PositiveInfinity point temporel point temporel est entre point temporel et PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	Position temporel est une instance de EspressoMaking entit� entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de r�chauffer entit� est un patient de entit� la mesure de entit� est entit� Liter(s) approximateValue entit� and 0.03 la mesure de entit� est entit� CelsiusDegree(s) approximateValue entit� and 90 pendant la fin de temps d'existence de entit� entit� est une instance de LiquidMotion entit� est un patient de entit� la mesure de entit� est entit� 1 millier Pascals(s) approximateValue entit� and 900 pendant entit� entit� aboutit � entit� entit� est une instance de collection la mesure de entit� est entit� Gram(s) approximateValue entit� and 7.5 entit� est un membre de entit� entit� est une instance de CoffeeGrind FineGrind est un attribut de entit� entit� est situ� � entit� entit� est une instance de Filter entit� est une instance de supprimer entit� est un instrument pour entit� entit� est un patient de entit� la fin de temps d'existence de entit� est entre la fin de temps d'existence de entit� et la fin de temps d'existence de entit� pendant position temporel

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