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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImmediateFutureFn
ImmediateFutureFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2745-2746
No TPTP formula. May not be expressible in strict first order. Merge.kif 8205-8207
No TPTP formula. May not be expressible in strict first order. Merge.kif 8202-8202 The number 1 argument of immediate future is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 8199-8199 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8201-8201 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8200-8200 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8203-8203 The range of immediate future 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 463-463
No TPTP formula. May not be expressible in strict first order. english_format.kif 469-469
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29340-29340
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 464-464
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29339-29339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29338-29338

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3198-3212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9381-9403
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9442-9464
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1932-1946
No TPTP formula. May not be expressible in strict first order. Geography.kif 6613-6627
No TPTP formula. May not be expressible in strict first order. Cars.kif 777-792
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1270-1293
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3936-3950
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3952-3966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10037-10052
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10015-10030
No TPTP formula. May not be expressible in strict first order. Cars.kif 1987-1999
No TPTP formula. May not be expressible in strict first order. Geography.kif 6665-6679

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


No TPTP formula. May not be expressible in strict first order. Government.kif 725-740
No TPTP formula. May not be expressible in strict first order. Government.kif 701-706
No TPTP formula. May not be expressible in strict first order. Government.kif 708-713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 979-992
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4446-4455
No TPTP formula. May not be expressible in strict first order. Cars.kif 1252-1267
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2359-2368
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29118-29125
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4087-4099
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4043-4056
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4065-4078
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4107-4117
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 391-401
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4530-4540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29429-29437
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4462-4471
No TPTP formula. May not be expressible in strict first order. Merge.kif 9858-9873
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 428-436
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 133-140
No TPTP formula. May not be expressible in strict first order. engineering.kif 938-951
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4415-4425
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24397-24418
No TPTP formula. May not be expressible in strict first order. Geography.kif 5518-5525
No TPTP formula. May not be expressible in strict first order. Merge.kif 10229-10238
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2796-2803

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2751-2751 Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the year 1996
No TPTP formula. May not be expressible in strict first order. Government.kif 2772-2775 A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position


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