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 7790-7792
No TPTP formula. May not be expressible in strict first order. Merge.kif 7787-7787 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 7788-7788 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 7784-7784 meets temporally is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7782-7782 meets temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7785-7785 meets temporally is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7783-7783 meets temporally is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7786-7786 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 444-444
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 36823-36823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36822-36822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36821-36821

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7794-7798 A time interval meets another time interval if and only if the end of the time interval is equal to the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8740-8749
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 8640-8647
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 658-668

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1154-1171
No TPTP formula. May not be expressible in strict first order. Merge.kif 16845-16851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 609-622
No TPTP formula. May not be expressible in strict first order. Merge.kif 8040-8045
No TPTP formula. May not be expressible in strict first order. Merge.kif 8718-8725
No TPTP formula. May not be expressible in strict first order. Merge.kif 8666-8673
No TPTP formula. May not be expressible in strict first order. Merge.kif 8731-8738
No TPTP formula. May not be expressible in strict first order. Merge.kif 8740-8749
No TPTP formula. May not be expressible in strict first order. Merge.kif 8705-8712
No TPTP formula. May not be expressible in strict first order. Merge.kif 8679-8686
No TPTP formula. May not be expressible in strict first order. Merge.kif 8692-8699
No TPTP formula. May not be expressible in strict first order. Merge.kif 11138-11145
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3135-3148
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14897-14905
No TPTP formula. May not be expressible in strict first order. Merge.kif 8350-8357
No TPTP formula. May not be expressible in strict first order. Merge.kif 8066-8071
No TPTP formula. May not be expressible in strict first order. Merge.kif 8093-8098
No TPTP formula. May not be expressible in strict first order. Merge.kif 8527-8531
No TPTP formula. May not be expressible in strict first order. Merge.kif 8583-8587
No TPTP formula. May not be expressible in strict first order. Merge.kif 8640-8647
No TPTP formula. May not be expressible in strict first order. Merge.kif 8499-8503
No TPTP formula. May not be expressible in strict first order. Merge.kif 8475-8479
No TPTP formula. May not be expressible in strict first order. Merge.kif 8569-8573
No TPTP formula. May not be expressible in strict first order. Merge.kif 8555-8559
No TPTP formula. May not be expressible in strict first order. Merge.kif 8513-8517

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