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


KB Term:  Term intersection
English Word: 

  Civilian

 Sigma KEE - Civilian
Civilian(civilian)civilian

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


(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 24510-24510 Civilian is the opposite of military person
(instance Civilian SocialRole) Mid-level-ontology.kif 24573-24573 Civilian is an instance of social role
(documentation Civilian EnglishLanguage "Someone who is not a member of an active MilitaryOrganization.") Mid-level-ontology.kif 24574-24575 Civilian is an instance of social role

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


(subAttribute DislocatedCivilian Civilian) MilitaryPersons.kif 18-18 Dislocated civilian is a subattribute of civilian
(termFormat EnglishLanguage Civilian "civilian") domainEnglishFormat.kif 14958-14958 Dislocated civilian is a subattribute of civilian
(termFormat ChineseTraditionalLanguage Civilian "平民") domainEnglishFormat.kif 14959-14959 Dislocated civilian is a subattribute of civilian
(termFormat ChineseLanguage Civilian "平民") domainEnglishFormat.kif 14960-14960 Dislocated civilian is a subattribute of civilian

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


(=>
    (holdsDuring ?T1
        (attribute ?X Civilian))
    (holdsDuring ?T1
        (not
            (attribute ?X MilitaryPerson))))		 Mid-level-ontology.kif 24577-24579 If civilian is an attribute of X holds during Y, then military person is not an attribute of X holds during Y


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