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


KB Term:  Term intersection
English Word: 

  insured

 Sigma KEE - insured
insured

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


(instance insured BinaryPredicate) Mid-level-ontology.kif 8451-8451 insured is an instance of binary predicate
(instance insured AsymmetricRelation) Mid-level-ontology.kif 8452-8452 insured is an instance of asymmetric relation
(domain insured 1 Proposition) Mid-level-ontology.kif 8453-8453 The number 1 argument of insured is an instance of proposition
(domain insured 2 Organization) Mid-level-ontology.kif 8454-8454 The number 2 argument of insured is an instance of organization
(documentation insured EnglishLanguage "(insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.") Mid-level-ontology.kif 8455-8456 The number 2 argument of insured is an instance of organization

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


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

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


(=>
    (insured ?PROP ?ORG)
    (property ?PROP Contract))		 Mid-level-ontology.kif 8458-8460 If X is an insured of Y, then Y the attribute contract

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


(=>
    (instance ?I InsuranceCompany)
    (exists (?C)
        (insured ?C ?I)))		 Mid-level-ontology.kif 8466-8469 If X is an instance of insurance company, then there exists Y such that X is an insured of Y
(=>
    (instance ?Loan FHALoan)
    (insured ?Loan FederalHousingAdministration))		 FinancialOntology.kif 1581-1583 If X is an instance of FHA loan, then federal housing administration is an insured of X
(=>
    (instance ?Mortgage ConventionalMortgage)
    (not
        (exists (?Government)
            (and
                (instance ?Government Government)
                (insured ?Mortgage ?Government)))))		 FinancialOntology.kif 1598-1603 If X is an instance of conventional mortgage, then there doesn't exist Y such that Y is an instance of government and Y is an insured of X


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