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 3790-3796
No TPTP formula. May not be expressible in strict first order. Merge.kif 3785-3785 The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3786-3786 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 3783-3783 time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3781-3781 time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3782-3782 time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3784-3784 time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3788-3788 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. Merge.kif 3787-3787 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 8448-8448 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 58084-58084
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58083-58083

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22936-22949
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 12566-12572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22683-22690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22712-22719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22735-22740
No TPTP formula. May not be expressible in strict first order. Catalog.kif 462-487
No TPTP formula. May not be expressible in strict first order. Merge.kif 8110-8114
No TPTP formula. May not be expressible in strict first order. Merge.kif 7878-7881

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


No TPTP formula. May not be expressible in strict first order. Government.kif 692-699
No TPTP formula. May not be expressible in strict first order. Merge.kif 7864-7871
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2435-2442
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. Mid-level-ontology.kif 22936-22949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21716-21729
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 953-962
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 8014-8026
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2370-2377
No TPTP formula. May not be expressible in strict first order. Merge.kif 822-827
No TPTP formula. May not be expressible in strict first order. Merge.kif 12557-12564
No TPTP formula. May not be expressible in strict first order. Merge.kif 12052-12059
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 977-982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22703-22710
No TPTP formula. May not be expressible in strict first order. Merge.kif 8028-8034
No TPTP formula. May not be expressible in strict first order. Merge.kif 7873-7876
No TPTP formula. May not be expressible in strict first order. Merge.kif 8116-8125
No TPTP formula. May not be expressible in strict first order. Biography.kif 52-59


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