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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - meetsTemporally
meetsTemporally

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2722-2723
No TPTP formula. May not be expressible in strict first order. Merge.kif 8313-8315
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1446-1448
No TPTP formula. May not be expressible in strict first order. Merge.kif 8310-8310 The number 1 argument of meets temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8311-8311 The number 2 argument of meets temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8307-8307 meets temporally is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8305-8305 meets temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8308-8308 meets temporally is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8306-8306 meets temporally is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8309-8309 meets temporally is an instance of total valued relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 435-435
No TPTP formula. May not be expressible in strict first order. english_format.kif 441-441
No TPTP formula. May not be expressible in strict first order. french_format.kif 252-252
No TPTP formula. May not be expressible in strict first order. relations-it.txt 180-180
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2046-2046
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 204-204
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 258-258
No TPTP formula. May not be expressible in strict first order. relations-de.txt 568-568
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 218-218
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 273-273
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 276-276
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 356-356
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 436-436
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36938-36938
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36937-36937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36936-36936

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9305-9314
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 155-166
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 9205-9212
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. Media.kif 376-385
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 660-670
No TPTP formula. May not be expressible in strict first order. Merge.kif 8317-8321
No TPTP formula. May not be expressible in strict first order. Merge.kif 8329-8336

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Merge.kif 18062-18068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 450-463
No TPTP formula. May not be expressible in strict first order. Merge.kif 8587-8592
No TPTP formula. May not be expressible in strict first order. Merge.kif 9283-9290
No TPTP formula. May not be expressible in strict first order. Merge.kif 9231-9238
No TPTP formula. May not be expressible in strict first order. Merge.kif 9296-9303
No TPTP formula. May not be expressible in strict first order. Merge.kif 9305-9314
No TPTP formula. May not be expressible in strict first order. Merge.kif 9270-9277
No TPTP formula. May not be expressible in strict first order. Merge.kif 9244-9251
No TPTP formula. May not be expressible in strict first order. Merge.kif 9257-9264
No TPTP formula. May not be expressible in strict first order. Merge.kif 11916-11923
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3247-3263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17151-17159
No TPTP formula. May not be expressible in strict first order. Merge.kif 8906-8913
No TPTP formula. May not be expressible in strict first order. Merge.kif 8613-8618
No TPTP formula. May not be expressible in strict first order. Merge.kif 8640-8645
No TPTP formula. May not be expressible in strict first order. Merge.kif 9092-9096
No TPTP formula. May not be expressible in strict first order. Merge.kif 9148-9152
No TPTP formula. May not be expressible in strict first order. Merge.kif 9205-9212
No TPTP formula. May not be expressible in strict first order. Merge.kif 9064-9068
No TPTP formula. May not be expressible in strict first order. Merge.kif 9040-9044
No TPTP formula. May not be expressible in strict first order. Merge.kif 9134-9138
No TPTP formula. May not be expressible in strict first order. Merge.kif 9120-9124
No TPTP formula. May not be expressible in strict first order. Merge.kif 9078-9082

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