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 6798-6799
(domain insured 1 Proposition) Mid-level-ontology.kif 6796-6796 domain insured, 1 and Proposition
(domain insured 2 Organization) Mid-level-ontology.kif 6797-6797 domain insured, 2 and Organization
(instance insured AsymmetricRelation) Mid-level-ontology.kif 6794-6794 instance insured and AsymmetricRelation
(instance insured BinaryPredicate) Mid-level-ontology.kif 6793-6793 instance insured and BinaryPredicate

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 30262-30262
(termFormat ChineseTraditionalLanguage insured "投保") domainEnglishFormat.kif 30261-30261
(termFormat EnglishLanguage insured "insured") domainEnglishFormat.kif 30260-30260

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


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

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


(=>
    (instance ?I InsuranceCompany)
    (exists (?C)
        (insured ?C ?I)))
Mid-level-ontology.kif 6811-6814
(=>
    (instance ?Loan FHALoan)
    (insured ?Loan FederalHousingAdministration))
FinancialOntology.kif 1480-1482
(=>
    (instance ?Mortgage ConventionalMortgage)
    (not
        (exists (?Government)
            (and
                (instance ?Government Government)
                (insured ?Mortgage ?Government)))))
FinancialOntology.kif 1498-1503


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