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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3796-3802
No TPTP formula. May not be expressible in strict first order. Merge.kif 3791-3791 The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3792-3792 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 3789-3789 time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3787-3787 time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3788-3788 time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3790-3790 time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3794-3794 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. Merge.kif 3793-3793 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 8454-8454 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. FinancialOntology.kif 2761-2773
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2775-2787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22960-22973
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1448-1465
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 12572-12578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22707-22714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22736-22743
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22759-22764
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. FinancialOntology.kif 3318-3327
No TPTP formula. May not be expressible in strict first order. Merge.kif 8116-8120
No TPTP formula. May not be expressible in strict first order. Merge.kif 7884-7887

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


No TPTP formula. May not be expressible in strict first order. Government.kif 704-711
No TPTP formula. May not be expressible in strict first order. Merge.kif 7870-7877
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. FinancialOntology.kif 2761-2773
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2775-2787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22960-22973
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1427-1442
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21740-21753
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1448-1465
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. FinancialOntology.kif 2677-2693
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2631-2647
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2695-2711
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2649-2667
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3318-3327
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 8020-8032
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 828-833
No TPTP formula. May not be expressible in strict first order. Merge.kif 12563-12570
No TPTP formula. May not be expressible in strict first order. Merge.kif 12058-12065
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3104-3117
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 22727-22734

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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