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

Formal Language: 



KB Term:  Term intersection
English Word: 

  insured

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 6837-6838
(domain insured 1 Proposition) Mid-level-ontology.kif 6835-6835 The number 1 argument of insured is an instance of proposition
(domain insured 2 Organization) Mid-level-ontology.kif 6836-6836 The number 2 argument of insured is an instance of organization
(instance insured AsymmetricRelation) Mid-level-ontology.kif 6834-6834 insured is an instance of asymmetric relation
(instance insured BinaryPredicate) Mid-level-ontology.kif 6833-6833 insured is an instance of binary predicate

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 30330-30330
(termFormat ChineseTraditionalLanguage insured "投保") domainEnglishFormat.kif 30329-30329
(termFormat EnglishLanguage insured "insured") domainEnglishFormat.kif 30328-30328

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


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

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


(=>
    (instance ?I InsuranceCompany)
    (exists (?C)
        (insured ?C ?I)))
Mid-level-ontology.kif 6848-6851
(=>
    (instance ?Loan FHALoan)
    (insured ?Loan FederalHousingAdministration))
FinancialOntology.kif 1538-1540
(=>
    (instance ?Mortgage ConventionalMortgage)
    (not
        (exists (?Government)
            (and
                (instance ?Government Government)
                (insured ?Mortgage ?Government)))))
FinancialOntology.kif 1555-1560


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