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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - starts
starts

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2701-2703
No TPTP formula. May not be expressible in strict first order. Merge.kif 7626-7628
No TPTP formula. May not be expressible in strict first order. Merge.kif 7623-7623 The number 1 argument of starts is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7624-7624 The number 2 argument of starts is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7621-7621 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7619-7619 starts is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7622-7622 starts is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7620-7620 starts is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7618-7618 starts is a subrelation of temporal part

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 419-419
No TPTP formula. May not be expressible in strict first order. english_format.kif 428-428
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54988-54988
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 420-420
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54987-54987
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54986-54986

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7630-7638 A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
No TPTP formula. May not be expressible in strict first order. Media.kif 538-547
No TPTP formula. May not be expressible in strict first order. Media.kif 473-482
No TPTP formula. May not be expressible in strict first order. Media.kif 559-568
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1259-1273

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2802-2818
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2775-2791
No TPTP formula. May not be expressible in strict first order. Economy.kif 3755-3764
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 660-672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19137-19152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14051-14060
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13966-13971
No TPTP formula. May not be expressible in strict first order. Merge.kif 10561-10584
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14066-14075
No TPTP formula. May not be expressible in strict first order. Merge.kif 8851-8856
No TPTP formula. May not be expressible in strict first order. Merge.kif 8877-8887
No TPTP formula. May not be expressible in strict first order. Merge.kif 8254-8259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16905-16912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1411-1420
No TPTP formula. May not be expressible in strict first order. Merge.kif 8330-8337
No TPTP formula. May not be expressible in strict first order. Merge.kif 7915-7922
No TPTP formula. May not be expressible in strict first order. Merge.kif 7994-7996
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14887-14893
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 272-286
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 292-306
No TPTP formula. May not be expressible in strict first order. Merge.kif 8352-8359
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16918-16925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 582-587
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14649-14655
No TPTP formula. May not be expressible in strict first order. Media.kif 317-322

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25