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

Formal Language: 



KB Term:  Term intersection
English Word: 

  time

Sigma KEE - time
time

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2079-2082
No TPTP formula. May not be expressible in strict first order. Merge.kif 3821-3827
No TPTP formula. May not be expressible in strict first order. Merge.kif 3816-3816 The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3817-3817 The number 2 argument of time is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 3814-3814 time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3812-3812 time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3813-3813 time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3815-3815 time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3819-3819 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. Merge.kif 3818-3818 time is internally related to located

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 191-191
No TPTP formula. May not be expressible in strict first order. english_format.kif 192-192
No TPTP formula. May not be expressible in strict first order. Merge.kif 8483-8483 date is a subrelation of time
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 192-192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58091-58091
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58090-58090

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2767-2779
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2781-2793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23462-23475
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. Justice.kif 61-69
No TPTP formula. May not be expressible in strict first order. Merge.kif 12666-12672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23209-23216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23238-23245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23261-23266
No TPTP formula. May not be expressible in strict first order. Catalog.kif 467-492
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3325-3334
No TPTP formula. May not be expressible in strict first order. Merge.kif 8145-8149
No TPTP formula. May not be expressible in strict first order. Merge.kif 7913-7916

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


No TPTP formula. May not be expressible in strict first order. Government.kif 706-713
No TPTP formula. May not be expressible in strict first order. Merge.kif 7899-7906
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2438-2445
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 137-146
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2767-2779
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2781-2793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23462-23475
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1428-1443
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22208-22221
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 955-964
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2683-2699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2637-2653
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2701-2717
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2655-2673
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3325-3334
No TPTP formula. May not be expressible in strict first order. Biography.kif 68-74
No TPTP formula. May not be expressible in strict first order. Merge.kif 8049-8061
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2373-2380
No TPTP formula. May not be expressible in strict first order. Merge.kif 833-838
No TPTP formula. May not be expressible in strict first order. Merge.kif 12657-12664
No TPTP formula. May not be expressible in strict first order. Merge.kif 12144-12151
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3110-3123
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 979-984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23229-23236

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