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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - insured
insured

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


(documentation insured EnglishLanguage "(insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.") Mid-level-ontology.kif 7139-7140
(domain insured 1 Proposition) Mid-level-ontology.kif 7137-7137 Le nombre 1 argument de insured est une instance de proposition
(domain insured 2 Organization) Mid-level-ontology.kif 7138-7138 Le nombre 2 argument de insured est une instance de organisation
(instance insured AsymmetricRelation) Mid-level-ontology.kif 7136-7136 insured est une instance de relation asym�trique
(instance insured BinaryPredicate) Mid-level-ontology.kif 7135-7135 insured est une instance de pr�dicat binaire

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


(format ChineseLanguage insured "%2 %n 是 %1 的投保") domainEnglishFormat.kif 1353-1353
(format ChineseTraditionalLanguage insured "%2 %n 是 %1 的投保") domainEnglishFormat.kif 1352-1352
(format EnglishLanguage insured "%2 is %n an insured of %1") domainEnglishFormat.kif 1351-1351
(termFormat ChineseLanguage insured "投保") domainEnglishFormat.kif 30343-30343
(termFormat ChineseTraditionalLanguage insured "投保") domainEnglishFormat.kif 30342-30342
(termFormat EnglishLanguage insured "insured") domainEnglishFormat.kif 30341-30341

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


(=>
    (insured ?PROP ?ORG)
    (property ?PROP Contract))
Mid-level-ontology.kif 7142-7144

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


(=>
    (instance ?I InsuranceCompany)
    (exists (?C)
        (insured ?C ?I)))
Mid-level-ontology.kif 7150-7153
(=>
    (instance ?Loan FHALoan)
    (insured ?Loan FederalHousingAdministration))
FinancialOntology.kif 1539-1541
(=>
    (instance ?Mortgage ConventionalMortgage)
    (not
        (exists (?Government)
            (and
                (instance ?Government Government)
                (insured ?Mortgage ?Government)))))
FinancialOntology.kif 1556-1561


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