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 8427-8429
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 8424-8424 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 8425-8425 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 8421-8421 meets temporally is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8419-8419 meets temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8422-8422 meets temporally is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8420-8420 meets temporally is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8423-8423 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 36932-36932
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36931-36931
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36930-36930
No TPTP formula. May not be expressible in strict first order. terms-de.txt 175-175

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9428-9437
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 157-168
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 9319-9326
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. Medicine.kif 1306-1318
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 769-779
No TPTP formula. May not be expressible in strict first order. Merge.kif 8431-8435
No TPTP formula. May not be expressible in strict first order. Merge.kif 8443-8450

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 18353-18359
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 443-456
No TPTP formula. May not be expressible in strict first order. Merge.kif 8701-8706
No TPTP formula. May not be expressible in strict first order. Merge.kif 9406-9413
No TPTP formula. May not be expressible in strict first order. Merge.kif 9354-9361
No TPTP formula. May not be expressible in strict first order. Merge.kif 9419-9426
No TPTP formula. May not be expressible in strict first order. Merge.kif 9428-9437
No TPTP formula. May not be expressible in strict first order. Merge.kif 9341-9348
No TPTP formula. May not be expressible in strict first order. Merge.kif 9393-9400
No TPTP formula. May not be expressible in strict first order. Merge.kif 9367-9374
No TPTP formula. May not be expressible in strict first order. Merge.kif 9380-9387
No TPTP formula. May not be expressible in strict first order. Merge.kif 12099-12106
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3251-3267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18832-18840
No TPTP formula. May not be expressible in strict first order. Merge.kif 9020-9027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 636-654
No TPTP formula. May not be expressible in strict first order. Merge.kif 8727-8732
No TPTP formula. May not be expressible in strict first order. Merge.kif 8754-8759
No TPTP formula. May not be expressible in strict first order. Merge.kif 9206-9210
No TPTP formula. May not be expressible in strict first order. Merge.kif 9262-9266
No TPTP formula. May not be expressible in strict first order. Merge.kif 9319-9326
No TPTP formula. May not be expressible in strict first order. Merge.kif 9178-9182
No TPTP formula. May not be expressible in strict first order. Merge.kif 9154-9158
No TPTP formula. May not be expressible in strict first order. Merge.kif 9248-9252

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