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 7842-7844
No TPTP formula. May not be expressible in strict first order. Merge.kif 7839-7839 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 7840-7840 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 7836-7836 meets temporally is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7834-7834 meets temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7837-7837 meets temporally is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7835-7835 meets temporally is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7838-7838 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 36912-36912
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36911-36911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36910-36910

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7846-7850 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 8794-8803
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 8694-8701
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 1160-1177
No TPTP formula. May not be expressible in strict first order. Merge.kif 16914-16920
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 421-434
No TPTP formula. May not be expressible in strict first order. Merge.kif 8092-8097
No TPTP formula. May not be expressible in strict first order. Merge.kif 8772-8779
No TPTP formula. May not be expressible in strict first order. Merge.kif 8720-8727
No TPTP formula. May not be expressible in strict first order. Merge.kif 8785-8792
No TPTP formula. May not be expressible in strict first order. Merge.kif 8794-8803
No TPTP formula. May not be expressible in strict first order. Merge.kif 8759-8766
No TPTP formula. May not be expressible in strict first order. Merge.kif 8733-8740
No TPTP formula. May not be expressible in strict first order. Merge.kif 8746-8753
No TPTP formula. May not be expressible in strict first order. Merge.kif 11193-11200
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3174-3190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13888-13896
No TPTP formula. May not be expressible in strict first order. Merge.kif 8403-8410
No TPTP formula. May not be expressible in strict first order. Merge.kif 8118-8123
No TPTP formula. May not be expressible in strict first order. Merge.kif 8145-8150
No TPTP formula. May not be expressible in strict first order. Merge.kif 8581-8585
No TPTP formula. May not be expressible in strict first order. Merge.kif 8637-8641
No TPTP formula. May not be expressible in strict first order. Merge.kif 8694-8701
No TPTP formula. May not be expressible in strict first order. Merge.kif 8553-8557
No TPTP formula. May not be expressible in strict first order. Merge.kif 8529-8533
No TPTP formula. May not be expressible in strict first order. Merge.kif 8623-8627
No TPTP formula. May not be expressible in strict first order. Merge.kif 8609-8613
No TPTP formula. May not be expressible in strict first order. Merge.kif 8567-8571

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