Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialContract
FinancialContract(financial contract)oil_future, petroleum_future

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


(subclass FinancialContract Contract) FinancialOntology.kif 54-54 Financial contract is a subclass of contract
(documentation FinancialContract EnglishLanguage "A financial agreement between two or more parties") FinancialOntology.kif 55-55 Financial contract is a subclass of contract

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


(subclass Liability FinancialContract) FinancialOntology.kif 1193-1193 Liability is a subclass of financial contract
(subclass Annuity FinancialContract) FinancialOntology.kif 2132-2132 Annuity is a subclass of financial contract
(subclass Option FinancialContract) FinancialOntology.kif 2575-2575 Option is a subclass of financial contract
(subAttribute Employment FinancialContract) FinancialOntology.kif 3315-3315 Employment is a subattribute of financial contract
(termFormat EnglishLanguage FinancialContract "financial contract") domainEnglishFormat.kif 23752-23752 Employment is a subattribute of financial contract
(termFormat ChineseTraditionalLanguage FinancialContract "金融合約") domainEnglishFormat.kif 23753-23753 Employment is a subattribute of financial contract
(termFormat ChineseLanguage FinancialContract "金融合约") domainEnglishFormat.kif 23754-23754 Employment is a subattribute of financial contract

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


(=>
    (instance ?Account FinancialAccount)
    (and
        (instance ?Account FinancialContract)
        (instance ?Account ServiceContract)))		 FinancialOntology.kif 65-69 If X is an instance of financial account, then X is an instance of financial contract and X is an instance of service contract


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners