IrreflexiveRelation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation IrreflexiveRelation ChineseLanguage "Relation ?REL 属于非自反关系当且仅当没有一个?INST 是(?REL ?INST ?INST)。")	chinese_format.kif 1835-1836
(documentation IrreflexiveRelation EnglishLanguage "Relation ?REL is irreflexive iff (?REL ?INST ?INST) holds for no value of ?INST.")	Merge.kif 2251-2252
(documentation IrreflexiveRelation JapaneseLanguage "Relation ?REL は、(?REL ?INST ?INST) に?INSTの値がない場合のみ非再帰的である。")	japanese_format.kif 455-456
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 0/ 0b/ GreaterThanOrEqualTo.png")	pictureList.kif 8551-8551
(externalImage IrreflexiveRelation "http://upload.wikimedia.org/wikipedia/ en/ 5/ 59/ GreaterThan.png")	pictureList.kif 9357-9357
(subclass IrreflexiveRelation BinaryRelation)	Merge.kif 2249-2249	非反射関係は 2項関係の subclass では %n

appearance as argument number 2

(instance ancestor IrreflexiveRelation)	Merge.kif 16369-16369	ancestor は非反射関係の instance では %n
(instance ancestorOrganization IrreflexiveRelation)	Mid-level-ontology.kif 24165-24165	ancestorOrganization は非反射関係の instance では %n
(instance antagonistMuscles IrreflexiveRelation)	Mid-level-ontology.kif 10659-10659	antagonistMuscles は非反射関係の instance では %n
(instance attribute IrreflexiveRelation)	Merge.kif 1716-1716	attribute は非反射関係の instance では %n
(instance before IrreflexiveRelation)	Merge.kif 8119-8119	before は非反射関係の instance では %n
(instance brother IrreflexiveRelation)	Merge.kif 16522-16522	brother は非反射関係の instance では %n
(instance classmate IrreflexiveRelation)	Mid-level-ontology.kif 16808-16808	classmate は非反射関係の instance では %n
(instance colleague IrreflexiveRelation)	Mid-level-ontology.kif 16829-16829	colleague は非反射関係の instance では %n
(instance conjugate IrreflexiveRelation)	Mid-level-ontology.kif 6490-6490	conjugate は非反射関係の instance では %n
(instance connectedEngineeringComponents IrreflexiveRelation)	Merge.kif 16115-16115	connectedEngineeringComponents は非反射関係の instance では %n
(instance customer IrreflexiveRelation)	Mid-level-ontology.kif 7710-7710	customer は非反射関係の instance では %n
(instance decreasesLikelihood IrreflexiveRelation)	Merge.kif 2615-2615	decreasesLikelihood は非反射関係の instance では %n
(instance diplomaticRelations IrreflexiveRelation)	Government.kif 4544-4544	diplomaticRelations は非反射関係の instance では %n
(instance disjointRelation IrreflexiveRelation)	Merge.kif 410-410	disjointRelation は非反射関係の instance では %n
(instance during IrreflexiveRelation)	Merge.kif 8329-8329	during は非反射関係の instance では %n
(instance earlier IrreflexiveRelation)	Merge.kif 8391-8391	earlier は非反射関係の instance では %n
(instance exportPartner IrreflexiveRelation)	Economy.kif 2370-2370	exportPartner は非反射関係の instance では %n
(instance finishes IrreflexiveRelation)	Merge.kif 8089-8089	finishes は非反射関係の instance では %n
(instance graphPart IrreflexiveRelation)	Merge.kif 5887-5887	graphPart は非反射関係の instance では %n
(instance greaterThan IrreflexiveRelation)	Merge.kif 1845-1845	greaterThan は非反射関係の instance では %n
(instance hinders IrreflexiveRelation)	Merge.kif 4389-4389	hinders は非反射関係の instance では %n
(instance hindersSubclass IrreflexiveRelation)	Merge.kif 4307-4307	hindersSubclass は非反射関係の instance では %n
(instance hostileForces IrreflexiveRelation)	Mid-level-ontology.kif 8421-8421	hostileForces は非反射関係の instance では %n
(instance husband IrreflexiveRelation)	Merge.kif 16592-16592	husband は非反射関係の instance では %n
(instance importPartner IrreflexiveRelation)	Economy.kif 2658-2658	importPartner は非反射関係の instance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation)) (instance ?REL AsymmetricRelation))	Merge.kif 2286-2290	エンティティーは反対称関係の instance では %n エンティティーは非反射関係の instance では %n エンティティーは非対称関係の instance では %n
(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (?REL ?INST ?INST))))	Merge.kif 2254-2258	エンティティーは非反射関係の instance では %n エンティティーエンティティーエンティティー and エンティティー

consequent

(=>
    (instance ?REL AsymmetricRelation)
    (and
        (instance ?REL AntisymmetricRelation)
        (instance ?REL IrreflexiveRelation)))

Merge.kif 2280-2284

エンティティーは非対称関係の instance では %n
エンティティーは反対称関係の instance では %n エンティティーは非反射関係の instance では %n

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

KB Term:			Term intersection

English Word: