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

Formal Language: 



KB Term:  Term intersection
English Word: 

  meetsTemporally

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 8017-8019
No TPTP formula. May not be expressible in strict first order. Merge.kif 8014-8014 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 8015-8015 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 8011-8011 meets temporally is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8009-8009 meets temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8012-8012 meets temporally is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8010-8010 meets temporally is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8013-8013 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. 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 8021-8025 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 8982-8991
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 8882-8889
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
No TPTP formula. May not be expressible in strict first order. Merge.kif 8027-8034

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 17554-17560
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 8278-8283
No TPTP formula. May not be expressible in strict first order. Merge.kif 8960-8967
No TPTP formula. May not be expressible in strict first order. Merge.kif 8908-8915
No TPTP formula. May not be expressible in strict first order. Merge.kif 8973-8980
No TPTP formula. May not be expressible in strict first order. Merge.kif 8982-8991
No TPTP formula. May not be expressible in strict first order. Merge.kif 8947-8954
No TPTP formula. May not be expressible in strict first order. Merge.kif 8921-8928
No TPTP formula. May not be expressible in strict first order. Merge.kif 8934-8941
No TPTP formula. May not be expressible in strict first order. Merge.kif 11492-11499
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3195-3211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16673-16681
No TPTP formula. May not be expressible in strict first order. Merge.kif 8591-8598
No TPTP formula. May not be expressible in strict first order. Merge.kif 8304-8309
No TPTP formula. May not be expressible in strict first order. Merge.kif 8331-8336
No TPTP formula. May not be expressible in strict first order. Merge.kif 8769-8773
No TPTP formula. May not be expressible in strict first order. Merge.kif 8825-8829
No TPTP formula. May not be expressible in strict first order. Merge.kif 8882-8889
No TPTP formula. May not be expressible in strict first order. Merge.kif 8741-8745
No TPTP formula. May not be expressible in strict first order. Merge.kif 8717-8721
No TPTP formula. May not be expressible in strict first order. Merge.kif 8811-8815
No TPTP formula. May not be expressible in strict first order. Merge.kif 8797-8801
No TPTP formula. May not be expressible in strict first order. Merge.kif 8755-8759

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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