TreeView Knowledge Base Browser

appearance as argument number 1

(instance DisplacedPerson SocialRole)	MilitaryPersons.kif 54-54	Displaced person is an instance of social role
(subAttribute DisplacedPerson DislocatedCivilian)	MilitaryPersons.kif 55-55	Displaced person is a subattribute of dislocated civilian
(documentation DisplacedPerson EnglishLanguage "A civilian who is involuntarily outside the national boundaries of his or her country. See also evacuee, refugee.")	MilitaryPersons.kif 57-59	Displaced person is a subattribute of dislocated civilian

appearance as argument number 2

(termFormat EnglishLanguage DisplacedPerson "displaced person")	domainEnglishFormat.kif 19890-19890
(termFormat ChineseTraditionalLanguage DisplacedPerson "流離失所者")	domainEnglishFormat.kif 19891-19891
(termFormat ChineseLanguage DisplacedPerson "流离失所者")	domainEnglishFormat.kif 19892-19892

antecedent

(=>
    (holdsDuring ?T1
        (and
            (attribute ?P DisplacedPerson)
            (inhabits ?P ?RES)
            (located ?RES ?PLACE)
            (citizen ?P ?NATION)))
    (not
        (partlyLocated ?PLACE ?NATION)))

MilitaryPersons.kif 70-78

If displaced person is an attribute of X, X lives in Y, Y is located at Z, and X is a citizen of W holds during V, then Z is not partly located in W

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

KB Term:			Term intersection

English Word: