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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeIntervalFn
TimeIntervalFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2729-2731
No TPTP formula. May not be expressible in strict first order. Merge.kif 8415-8418
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1454-1456
No TPTP formula. May not be expressible in strict first order. Merge.kif 8411-8411 The number 1 argument of time interval is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8412-8412 The number 2 argument of time interval is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8408-8408 Time interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8410-8410 Time interval is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8409-8409 Time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8413-8413 The range of time interval is an instance of time interval

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 453-453
No TPTP formula. May not be expressible in strict first order. english_format.kif 459-459
No TPTP formula. May not be expressible in strict first order. french_format.kif 263-263
No TPTP formula. May not be expressible in strict first order. relations-it.txt 300-300
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2053-2053
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 215-215
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 269-269
No TPTP formula. May not be expressible in strict first order. relations-de.txt 592-592
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 336-336
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 284-284
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 289-289
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 492-492
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 454-454
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58124-58124
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58123-58123
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58122-58122

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23889-23903
No TPTP formula. May not be expressible in strict first order. Merge.kif 8420-8428
No TPTP formula. May not be expressible in strict first order. Merge.kif 8430-8439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14040-14046

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1936-1941
No TPTP formula. May not be expressible in strict first order. Media.kif 1943-1948
No TPTP formula. May not be expressible in strict first order. Media.kif 1959-1963
No TPTP formula. May not be expressible in strict first order. Merge.kif 7524-7528
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060
No TPTP formula. May not be expressible in strict first order. Dining.kif 711-724
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2951-2963
No TPTP formula. May not be expressible in strict first order. Merge.kif 8521-8523
No TPTP formula. May not be expressible in strict first order. Merge.kif 8490-8492
No TPTP formula. May not be expressible in strict first order. Food.kif 1867-1876
No TPTP formula. May not be expressible in strict first order. Weather.kif 1878-1886


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