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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Day

Sigma KEE - Day
Day(Dia)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2807-2807
No TPTP formula. May not be expressible in strict first order. Merge.kif 9234-9234
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1548-1548
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5948-5948
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6343-6343
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6344-6344
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6345-6345
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6346-6346
No TPTP formula. May not be expressible in strict first order. Merge.kif 9232-9232 Dia e' relacionado internamente por SUMO a DayDuration
No TPTP formula. May not be expressible in strict first order. Merge.kif 9231-9231 Dia e' relacionado internamente por SUMO a DayFn
No TPTP formula. May not be expressible in strict first order. Merge.kif 9230-9230 Dia e' uma sub-classe de Intervalo Temporal

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8590-8590 Os valores retornados por DayFn sao as sub-classes de Dia
No TPTP formula. May not be expressible in strict first order. Media.kif 335-335 ChristmasDay e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 9282-9282 Sexta-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 9240-9240 Segunda-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 9295-9295 Sabado e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 9308-9308 Domingo e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 9269-9269 Quinta-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 9243-9243 Terca-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 9256-9256 Quarta-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1289-1289
No TPTP formula. May not be expressible in strict first order. english_format.kif 1795-1795
No TPTP formula. May not be expressible in strict first order. french_format.kif 967-967
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 502-502
No TPTP formula. May not be expressible in strict first order. terms-it.txt 506-506
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2651-2651
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 919-919
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 508-508
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 542-542
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 988-988
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 507-507

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8834-8834 O argumento numero 1 de AfternoonFn e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 8934-8934 O argumento numero 1 de EveningFn e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 8818-8818 O argumento numero 1 de MorningFn e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3808-3808 O argumento numero 2 de availableBalance e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3831-3831 O argumento numero 2 de availableCash e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. Biography.kif 175-175 O argumento numero 2 de baptizeddate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24268-24268 O argumento numero 2 de birthdate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4092-4092 O argumento numero 2 de buyingPowerAmount e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2485-2485 O argumento numero 2 de callDate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3472-3472 O argumento numero 3 de closingPrice e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 673-673 O argumento numero 2 de currentAccountBalance e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-615 O argumento numero 2 de currentInterestRate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 8545-8545 O argumento numero 2 de date e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4027-4027 O argumento numero 2 de dateOfStatement e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24281-24281 O argumento numero 2 de deathdate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4101-4101 O argumento numero 2 de marginBalanceAmount e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4119-4119 O argumento numero 2 de marketValueAmount e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 632-632 O argumento numero 2 de maturityDate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 868-868 O argumento numero 3 de netWorth e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 780-780 O argumento numero 3 de overdraft e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 600-600 O argumento numero 1 de primeInterestRate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4110-4110 O argumento numero 2 de shortBalanceAmount e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24213-24213 O argumento numero 3 de weddingdate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 8614-8614 O argumento numero 2 de HourFn e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24182-24182 O argumento numero 2 de anniversary e' uma sub-classe de Dia

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8840-8845
No TPTP formula. May not be expressible in strict first order. Merge.kif 8940-8945
No TPTP formula. May not be expressible in strict first order. Merge.kif 8824-8829
No TPTP formula. May not be expressible in strict first order. Merge.kif 8922-8929
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84
No TPTP formula. May not be expressible in strict first order. Geography.kif 4958-4976
No TPTP formula. May not be expressible in strict first order. Geography.kif 5027-5037
No TPTP formula. May not be expressible in strict first order. Merge.kif 9236-9238
No TPTP formula. May not be expressible in strict first order. Merge.kif 9473-9475

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24236-24246
No TPTP formula. May not be expressible in strict first order. Economy.kif 3754-3764
No TPTP formula. May not be expressible in strict first order. Merge.kif 9463-9467
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2654-2674
No TPTP formula. May not be expressible in strict first order. Geography.kif 3631-3640
No TPTP formula. May not be expressible in strict first order. Geography.kif 3570-3579
No TPTP formula. May not be expressible in strict first order. Biography.kif 250-264
No TPTP formula. May not be expressible in strict first order. Biography.kif 280-296
No TPTP formula. May not be expressible in strict first order. Biography.kif 307-317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24195-24206
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3691-3711
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3735-3755
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2295-2300
No TPTP formula. May not be expressible in strict first order. Merge.kif 8781-8786
No TPTP formula. May not be expressible in strict first order. Merge.kif 9469-9471
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 91-101
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 36-46


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