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 8019-8021
No TPTP formula. May not be expressible in strict first order. Merge.kif 8016-8016 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 8013-8013 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8015-8015 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8014-8014 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8017-8017 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 472-472
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 3205-3219
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 6546-6560
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 1271-1294
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3943-3957
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3959-3973
No TPTP formula. May not be expressible in strict first order. Cars.kif 2001-2013
No TPTP formula. May not be expressible in strict first order. Geography.kif 6598-6612

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 980-993
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4453-4462
No TPTP formula. May not be expressible in strict first order. Cars.kif 1266-1281
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2338-2347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25992-25999
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4094-4106
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4050-4063
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4072-4085
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4114-4124
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 4537-4547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26302-26310
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4469-4478
No TPTP formula. May not be expressible in strict first order. Merge.kif 9670-9685
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 4422-4432
No TPTP formula. May not be expressible in strict first order. Geography.kif 5493-5500
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2775-2782
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1382-1397
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1288-1297

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 2758-2758 Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1
No TPTP formula. May not be expressible in strict first order. Government.kif 2738-2738 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


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