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 8300-8301
(domain insured 1 Proposition) Mid-level-ontology.kif 8298-8298 投保 的 1 数量 是 命题instance
(domain insured 2 Organization) Mid-level-ontology.kif 8299-8299 投保 的 2 数量 是 机构instance
(instance insured AsymmetricRelation) Mid-level-ontology.kif 8297-8297 投保非对称关系instance
(instance insured BinaryPredicate) Mid-level-ontology.kif 8296-8296 投保二元谓语instance

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 30354-30354
(termFormat ChineseTraditionalLanguage insured "投保") domainEnglishFormat.kif 30353-30353
(termFormat EnglishLanguage insured "insured") domainEnglishFormat.kif 30352-30352

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


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

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


(=>
    (instance ?I InsuranceCompany)
    (exists (?C)
        (insured ?C ?I)))
Mid-level-ontology.kif 8311-8314
(=>
    (instance ?Loan FHALoan)
    (insured ?Loan FederalHousingAdministration))
FinancialOntology.kif 1555-1557
(=>
    (instance ?Mortgage ConventionalMortgage)
    (not
        (exists (?Government)
            (and
                (instance ?Government Government)
                (insured ?Mortgage ?Government)))))
FinancialOntology.kif 1572-1577


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